Documentation

Mathlib.Tactic.Linarith

return to top

source

Imports

Init
Mathlib.Tactic.Hint
Mathlib.Tactic.NormNum
Mathlib.Tactic.Linarith.Frontend

Imported by

We register linarith with the hint tactic.