Theorem Basis.constr_def

Modification history