Theorem Set.empty_zpow

Modification history