Theorem LinearIsometryEquiv.adjoint_eq_symm

Modification history