Theorem Finset.image_pow

Modification history