Theorem Finset.exists_sup_ge

Modification history