Def Mathlib.Tactic.Order.updateGraphWithNltInfSup

Modification history

2025-07-12 10:50

Mathlib/Tactic/Order.lean

feat(Tactic/Order): support `⊤`, `⊥`, and lattice operations (#26354) …

Added Mathlib.Tactic.Order.updateGraphWithNltInfSup View on Github →