Theorem Finset.sup'_pow

Modification history