Def Mathlib.Tactic.Order.updateGraphWithNltInfSup

Modification history

2025-12-05 15:16
Mathlib/Tactic/Order.lean
chore(Tactic/Order): use `AtomM` (#31673) …
Modified Mathlib.Tactic.Order.updateGraphWithNltInfSupView on Github →
2025-07-12 10:50
Mathlib/Tactic/Order.lean
feat(Tactic/Order): support `⊤`, `⊥`, and lattice operations (#26354) …
Added Mathlib.Tactic.Order.updateGraphWithNltInfSupView on Github →