Theorem Finset.empty_zpow

Modification history