Def affine_isometry_equiv.to_isometry_equiv

Modification history