Theorem Nat.log_eq_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.log_eq_logCView on Github →
2025-01-22 23:41
Mathlib/Data/Nat/Log.lean
feat(Data/Nat): faster computation of Nat.log (#17325) …
Added Nat.log_eq_logCView on Github →