Theorem LinearIsometryEquiv.toIsometryEquiv_symm

Modification history