Theorem Int.toAdd_zpow

Modification history