Theorem Int.clog_zpow

Modification history

2025-03-11 02:02

Mathlib/Data/Int/Log.lean

chore(Data/Int): address porting notes (#22795) …

Modified Int.clog_zpow View on Github →

2023-01-26 07:35

Mathlib/Data/Int/Log.lean

feat: port Data.Int.Log (#1793)

Added Int.clog_zpow View on Github →