Theorem Basis.constr_self

Modification history