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: Dec 20 2023 at 11:08 UTC