Theorem Finset.partiallyWellOrderedOn_sup

Modification history