Theorem Pi.basis_repr

Modification history