Theorem Set.isWf_univ_iff

Modification history