Theorem AffineIsometry.toAffineIsometryEquiv_apply

Modification history