Theorem Set.encard_singleton

Modification history