Mathlib Changelog
v4
Changelog
About
Github
Theorem
Filter.div.instNeBot
Modification history
2023-12-20 19:25
Mathlib/Order/Filter/Pointwise.lean
feat(Filter/{NAry,Pointwise}): add missing `NeBot` instances (#9055) …
Added
Filter.div.instNeBot
View on Github →