Commit 2022-12-06 20:53 03c860eb
View on Github →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.
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.