Theorem Set.ncard_diff_add_ncard_eq_ncard

Modification history