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