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