add some little theorems in orientation

jjdishere / EG

Formalizing Euclidean Geometry in Lean

26 stars 57 forks source link

Closed Thmoas-Guan closed 5 months ago

Thmoas-Guan commented 5 months ago

left right on correct for exact one not lieson of same/opposite side