Skip to content

docs: Make documentation of disjoint_union() consistent with behavior#1641

Merged
krlmlr merged 3 commits intomainfrom
b-1587-disjoint-doc
Dec 30, 2024
Merged

docs: Make documentation of disjoint_union() consistent with behavior#1641
krlmlr merged 3 commits intomainfrom
b-1587-disjoint-doc

Commits

Commits on Dec 30, 2024