Theorem Set.ncard_eq_ncard_iff_ncard_diff_eq_ncard_diff

Modification history