Theorem Set.le_iff_subset

Modification history