Zulip Chat Archive
Stream: general
Topic: global PartialOrder ℂ instance
Notification Bot (Jul 28 2023 at 17:38):
This topic was moved to #general > Poll: partial order on complex numbers in mathlib by Eric Wieser.
Last updated: Dec 20 2023 at 11:08 UTC