Theorem Basis.subset_extendLe

Modification history