Theorem Set.encard_eq_encard_iff_encard_diff_eq_encard_diff

Modification history