Theorem Set.PartiallyWellOrderedOn.exists_monotone_subseq

Modification history