Zulip Chat Archive
Stream: general
Topic: ordered_module
Yaël Dillies (Sep 06 2021 at 16:56):
Can't we get ordered_module k k from ordered_ring k?
Last updated: May 02 2025 at 03:31 UTC
Can't we get ordered_module k k from ordered_ring k?
Last updated: May 02 2025 at 03:31 UTC