Theorem Set.isPwo_singleton

Modification history