Theorem Cardinal.le_mk_iff_exists_set

Modification history