Theorem Int.clog_zpow

Modification history