Structure Linarith.LinarithConfig

Modification history

2024-06-13 16:04

Mathlib/Tactic/Linarith/Datatypes.lean

chore: refactor LinarithConfig object so defaults are easier to find (#13800) …

Modified Linarith.LinarithConfig View on Github →

2022-11-28 22:26

Mathlib/Tactic/Linarith/Datatypes.lean

feat: port linarith (#526) …

Added Linarith.LinarithConfig View on Github →