Theorem Pi.basis_repr_single

Modification history