Theorem Finset.isPwo_sup

Modification history