Skip to content

Add has_bipartition for types that store a codomain/domain split - #237

Merged
mtfishman merged 1 commit into
mainfrom
mf/has-bipartition
Sep 26, 2026
Merged

mtfishman merged 1 commit into
mainfrom
mf/has-bipartition

Commits

Commits on Sep 26, 2026