Theorem Finset.univ_pow

Modification history