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: Dec 20 2023 at 11:08 UTC