Theorem Set.isPwo_insert

Modification history