Def Linarith.CompSource.flatten

Modification history

2024-09-23 11:30

Mathlib/Tactic/Linarith/Oracle/FourierMotzkin.lean

refactor: switch final use of Batteries.HashMap to Std.HashMap (#17042)

Modified Linarith.CompSource.flatten View on Github →

2022-11-28 22:26

Mathlib/Tactic/Linarith/Elimination.lean

feat: port linarith (#526) …

Added Linarith.CompSource.flatten View on Github →