Def Nat.logC

Modification history

2025-11-24 15:41
Mathlib/Data/Nat/Log.lean
refactor(Nat/Log): redefine `Nat.log` and `Nat.clog` (#31990) …
Deleted Nat.logCView on Github →
2025-01-22 23:41
Mathlib/Data/Nat/Log.lean
feat(Data/Nat): faster computation of Nat.log (#17325) …
Added Nat.logCView on Github →