Theorem Pi.basis_repr_stdBasis

Modification history