Theorem Basis.subset_extend

Modification history