Documentation
Lean
.
Meta
.
Tactic
.
Grind
.
Order
Search
return to top
source
Imports
Lean.Meta.Tactic.Grind.Order.Assert
Lean.Meta.Tactic.Grind.Order.Internalize
Lean.Meta.Tactic.Grind.Order.OrderM
Lean.Meta.Tactic.Grind.Order.StructId
Lean.Meta.Tactic.Grind.Order.Types
Lean.Meta.Tactic.Grind.Order.Util
Imported by
← Mathematical handbook