Theorem AffineSubspace.mem_perpBisector_iff_inner_pointReflection_vsub_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_iff_inner_pointReflection_vsub_eq_zeroView on Github →