Theorem Filter.smul_filter.instNeBot

Modification history

2023-12-20 19:25
Mathlib/Order/Filter/Pointwise.lean
feat(Filter/{NAry,Pointwise}): add missing `NeBot` instances (#9055) …
Added Filter.smul_filter.instNeBotView on Github →