Theorem LinearIsometryEquiv.star_eq_symm

Modification history