Theorem Pi.linearIndependent_stdBasis

Modification history