Skip to content

Simplify map(isdual, (co)domain)#430

Merged
Jutho merged 1 commit into
mainfrom
codomain-cleanup
May 13, 2026
Merged

Simplify map(isdual, (co)domain)#430
Jutho merged 1 commit into
mainfrom
codomain-cleanup

Commits

Commits on May 13, 2026