Theorem Set.encard_eq_add_one_iff

Modification history