Theorem Set.ncard_lt_ncard_iff_ncard_diff_lt_ncard_diff

Modification history