Zulip Chat Archive
Stream: general
Topic: Totally Ordered Typeclass
Shi Zhengyu (Jan 04 2022 at 14:46):
Dear all,
Is there a typeclass for totally ordered types?
I searched in TPIL and mathlib but no clue.
Thanks!
Yaël Dillies (Jan 04 2022 at 14:47):
docs#linear_order :wink:
Shi Zhengyu (Jan 04 2022 at 14:50):
Thanks!
Last updated: Aug 03 2023 at 10:10 UTC