Theorem OrthonormalBasis.repr_injective

Modification history