Theorem Set.ncard_diff_add_ncard

Modification history