Theorem Int.le_zpow_iff_clog_le

Modification history