Semigroups of real numbers under the min/max operators#1631

malarbol wants to merge 4 commits intoUniMath:masterUniMath/agda-unimath:masterfrom

malarbol:min/max-large-semigroups-Rmalarbol/agda-unimath:min/max-large-semigroups-RCopy head branch name to clipboard