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: May 02 2025 at 03:31 UTC