Theorem Set.ncard_diff_add_ncard_of_subset

Modification history