Add "nat+min" RA
We have an RA mnat
for nat
with "max" as composition. But we don't have one with "min". It would probably make sense to add that.
But how should we name things? mnat
isn't great as m
could be min or max...
We have an RA mnat
for nat
with "max" as composition. But we don't have one with "min". It would probably make sense to add that.
But how should we name things? mnat
isn't great as m
could be min or max...