Theorem Finset.isWf_sup

Modification history