Theorem Finset.le_iff_subset

Modification history