Theorem Set.isWF_univ_iff

Modification history