Theorem Set.isPwo_union

Modification history