Theorem Orthonormal.equiv_symm

Modification history