Theorem Set.isWf_iff_isPwo

Modification history