Theorem Set.encard_diff_add_encard

Modification history