Theorem Finset.isPWO_sup

Modification history