Def QuadraticMap.IsometryEquiv.refl

Modification history