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: Dec 20 2025 at 21:32 UTC
Can't we get ordered_module k k from ordered_ring k?
Last updated: Dec 20 2025 at 21:32 UTC