Def affine_isometry_equiv.to_isometric

Modification history