Theorem Set.wellFoundedOn_iff

Modification history