Def Std.TreeMap.beq

Modification history

2025-04-30 13:43
Mathlib/Tactic/Linarith/Parsing.lean
chore: use Std.TreeMap in `linarith` (#24367) …
Added Std.TreeMap.beqView on Github →