Theorem Set.encard_le_encard_diff_add_encard

Modification history