search

math-comp / trajectories

0 stars 4 forks source link

remove the less general definition of Mobius #30

Open affeldt-aist opened 1 year ago

affeldt-aist commented 1 year ago

https://github.com/math-comp/trajectories/blob/1fb53b7df18e15fd8c2d3400d12d25a7559add16/theories/three_circles.v#L224

affeldt-aist commented 1 year ago

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