Theorem Int.zpow_pred_clog_lt_self

Modification history