Theorem Int.zpow_lt_iff_lt_clog

Modification history