Order

📁 Source: Mathlib/Tactic/Order.lean

Statistics

Metric	Count
Definitions findContradictionWithNe, findContradictionWithNle, instOrdProdNatExpr_mathlib, orderArgs, orderCore, orderCoreImp, order_core, tacticOrder_, updateGraphWithNltInfSup	9
Theorems	0
Total	9

Mathlib.Tactic.Order

Definitions

Name	Category	Theorems
findContradictionWithNe 📖	CompOp	—
findContradictionWithNle 📖	CompOp	—
instOrdProdNatExpr_mathlib 📖	CompOp	—
orderArgs 📖	CompOp	—
orderCore 📖	CompOp	—
orderCoreImp 📖	CompOp	—
order_core 📖	CompOp	—
tacticOrder_ 📖	CompOp	—
updateGraphWithNltInfSup 📖	CompOp	—

---

← Back to Index