Theorem Set.encard_pair

Modification history