NatLog

📁 Source: Mathlib/Tactic/NormNum/NatLog.lean

Statistics

Metric	Count
Definitions evalNatClog, evalNatLog, proveNatClog, proveNatLog	4
Theorems nat_clog_helper	1
Total	5

Mathlib.Meta.NormNum

Definitions

Name	Category	Theorems
evalNatClog 📖	CompOp	—
evalNatLog 📖	CompOp	—
proveNatClog 📖	CompOp	—
proveNatLog 📖	CompOp	—

Theorems

Name	Kind	Assumes	Proves	Validates	Depends On
nat_clog_helper 📖	mathematical	Monoid.toNatPow Nat.instMonoid	Nat.clog	—	Nat.lt_clog_iff_pow_lt Nat.clog_le_iff_le_pow

---

← Back to Index