Zulip Chat Archive
Stream: mathlib4
Topic: Order.Hom.Bounded mathlib4#888
Johan Commelin (Jan 13 2023 at 14:36):
@Mario Carneiro Could you please take a look at this one?
Johan Commelin (Jan 13 2023 at 14:37):
There are some technical difficulties
Last updated: Dec 20 2023 at 11:08 UTC