Mathlib Changelog
v4
Changelog
About
Github
Def
Std.TreeSet.sdiff
Modification history
2025-04-30 13:43
Mathlib/Tactic/Linarith/Oracle/FourierMotzkin.lean
chore: use Std.TreeMap in `linarith` (#24367) …
Added
Std.TreeSet.sdiff
View on Github →