Def Mathlib.Tactic.Order.preprocessFacts

Modification history

2025-12-05 15:16
Mathlib/Tactic/Order/Preprocessing.lean
chore(Tactic/Order): use `AtomM` (#31673) …
Modified Mathlib.Tactic.Order.preprocessFactsView on Github →
2025-11-16 16:31
Mathlib/Tactic/Order/Preprocessing.lean
feat(Tactic/Order): translate linear orders to `Int` (#26580) …
Added Mathlib.Tactic.Order.preprocessFactsView on Github →