Theorem LinearIsometryEquiv.preimage_sphere

Modification history