Skip to content

Commutative idempotent binary operations with eventually idempotent right action imply sethood - #445

Draft
fredrik-bakke wants to merge 32 commits into
martinescardo:masterfrom
fredrik-bakke:comm-idem
Draft

Commutative idempotent binary operations with eventually idempotent right action imply sethood#445
fredrik-bakke wants to merge 32 commits into
martinescardo:masterfrom
fredrik-bakke:comm-idem

Commits

Commits on Jun 17, 2026

Commits on Jun 18, 2026