Theorem Basis.coe_toOrthonormalBasis_repr

Modification history