Theorem Basis.extendLe_subset

Modification history