Theorem Cardinal.le_mk_iff_exists_subset

Modification history