Theorem AffineIsometryEquiv.symm_bijective

Modification history