Theorem Finset.sup'_congr

Modification history