Theorem Basis.constr_comp

Modification history