Theorem Finset.sup_coe

Modification history