Theorem Set.isPWO_singleton

Modification history