Theorem Set.encard_eq_two

Modification history