Theorem Int.self_le_zpow_clog

Modification history