remove the less general definition of Mobius

[affeldt-aist]

trajectories/theories/three_circles.v

Line 224 in 1fb53b7

(* TODO(rei): define as an instance of Mobius in pol.v? *)

[affeldt-aist]

define as Mobius (size p).-1 a b p.