Theorem Finset.singleton_pow

Modification history