Theorem Set.ncard_inter_add_ncard_union

Modification history