Theorem Basis.constrL_basis

Modification history