Zulip Chat Archive
Stream: mathlib4
Topic: Order.Filter.Pointwise !4#1839
Jireh Loreaux (Jan 26 2023 at 04:29):
This is ready for review modulo a simpNF linter issue that I don't know how to fix. Help debugging that is appreciated.
Last updated: Feb 28 2026 at 14:05 UTC