Mathlib Changelog
v4
Changelog
About
Github
Theorem
AffineSubspace.mem_perpBisector_pointReflection_iff_inner_eq_zero
Modification history
2023-06-30 17:15
Mathlib/Geometry/Euclidean/PerpBisector.lean
feat: add a file about perpendicular bisector (#5627)
Added
AffineSubspace.mem_perpBisector_pointReflection_iff_inner_eq_zero
View on Github →