Theorem Set.wellFoundedOn_empty

Modification history