Theorem Set.ncard_union_add_ncard_inter

Modification history