Theorem Finset.sup_mem

Modification history