Def Std.TreeMap.beq

Modification history

2025-12-14 13:26

Mathlib/Tactic/Linarith/Parsing.lean

chore: bump toolchain to v4.27.0-rc1 (#32874)

Deleted Std.TreeMap.beq View on Github →

2025-04-30 13:43

Mathlib/Tactic/Linarith/Parsing.lean

chore: use Std.TreeMap in `linarith` (#24367) …

Added Std.TreeMap.beq View on Github →