Theorem Set.PartiallyWellOrderedOn.wellFoundedOn

Modification history