Zulip Chat Archive
Stream: mathlib4
Topic: Data.Set.Pointwise.Interval !4#1481
Johan Commelin (Feb 01 2023 at 13:18):
The main remaining issue here has to do with notation for intervals that conflicts with list notation.
Johan Commelin (Feb 01 2023 at 13:42):
Ok, everything is now fixed.
Last updated: Dec 20 2023 at 11:08 UTC