Zulip Chat Archive
Stream: maths
Topic: sup_add / inf_add
Yury G. Kudryashov (Aug 06 2023 at 01:22):
Is there a version of docs#sup_add / docs#inf_add that works both in the original setting and for a docs#LinearOrderedAddCommMonoid ?
Last updated: May 02 2025 at 03:31 UTC