Theorem Set.WellFoundedOn.insert

Modification history