Def Std.TreeSet.union

Modification history

2025-11-18 10:56
Mathlib/Tactic/Linarith/Oracle/FourierMotzkin.lean
chore: bump toolchain to v4.26.0-rc1 (#31763)
Deleted Std.TreeSet.unionView on Github →
2025-04-30 13:43
Mathlib/Tactic/Linarith/Oracle/FourierMotzkin.lean
chore: use Std.TreeMap in `linarith` (#24367) …
Added Std.TreeSet.unionView on Github →