Theorem Set.singleton_zpow

Modification history