Theorem Basis.constr_basis

Modification history