Def Std.TreeSet.sdiff

Modification history

2026-01-08 16:40
Mathlib/Tactic/Linarith/Oracle/FourierMotzkin.lean
chore(Tactic): remove duplicate instances (#33666) …
Deleted Std.TreeSet.sdiffView on Github →
2025-04-30 13:43
Mathlib/Tactic/Linarith/Oracle/FourierMotzkin.lean
chore: use Std.TreeMap in `linarith` (#24367) …
Added Std.TreeSet.sdiffView on Github →