Post #2061445
2026-04-19 14:02 UTC
(The solution is now here: https://1lab.dev/Order.Total.html#as-discrete-total-orders)
Replies (1)
-
@MartinEscardo@mathstodon.xyz 2026-04-19 17:24
@ncf writes "The solution is now here: 1lab". It is now your duty to explain the solution in mathematical vernacular, just as you did when you posed the question. 🙂