Theorem Finset.sup_congr

Modification history