affine): angles in pairs of parallel lines (#17829)

Commit

3 years ago

feat(geometry/euclidean/angle/oriented/affine): angles in pairs of parallel lines (#17829) Add two lemmas about equality of twice oriented angles among two pairs of parallel lines.

Author

jsm28

Parents

0d17cfb6

mathlib3 03c860eb - feat(geometry/euclidean/angle/oriented/affine): angles in pairs of parallel lines (#17829)

mathlib3
03c860eb - feat(geometry/euclidean/angle/oriented/affine): angles in pairs of parallel lines (#17829)