Theorem Set.isWF_iff_isPWO

Modification history