Documentation

Mathlib.Tactic.Linarith

Imports

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

Imported by

← Copula mathematical handbook

We register linarith with the hint tactic.