Theorem Set.isPwo_empty

Modification history