On idempotent monoids and multiplicatively idempotent rigs:
Created on June 12, 2025 at 23:40:54. See the history of this page for a list of all contributions to it.