Theorem Set.ncard_singleton

Modification history