Theorem EuclideanGeometry.eq_reflection_of_eq_subspace

Modification history