Documentation
Lean
.
Meta
.
Tactic
.
Grind
.
Arith
.
CommRing
Search
return to top
source
Imports
Lean.Util.Trace
Lean.Meta.Tactic.Grind.Arith.CommRing.DenoteExpr
Lean.Meta.Tactic.Grind.Arith.CommRing.EqCnstr
Lean.Meta.Tactic.Grind.Arith.CommRing.Internalize
Lean.Meta.Tactic.Grind.Arith.CommRing.Inv
Lean.Meta.Tactic.Grind.Arith.CommRing.Poly
Lean.Meta.Tactic.Grind.Arith.CommRing.Proof
Lean.Meta.Tactic.Grind.Arith.CommRing.Reify
Lean.Meta.Tactic.Grind.Arith.CommRing.RingId
Lean.Meta.Tactic.Grind.Arith.CommRing.ToExpr
Lean.Meta.Tactic.Grind.Arith.CommRing.Types
Lean.Meta.Tactic.Grind.Arith.CommRing.Var
Imported by