Theorem Finset.inf'_pow

Modification history