Theorem AffineSubspace.mem_perpBisector_iff_inner_eq

Modification history