Theorem Int.to_add_zpow

Modification history