Theorem Int.zpow_log_le_self

Modification history