Theorem Finset.singleton_zpow

Modification history