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: Feb 28 2026 at 14:05 UTC