Skip to content

Print a node's Codomain, so the printed form stops losing it (#1022) - #1047

Merged
Rafael-SOWNet merged 3 commits into
masterfrom
fix/stringize-prints-the-codomain
Aug 24, 2026
Merged

Print a node's Codomain, so the printed form stops losing it (#1022)#1047
Rafael-SOWNet merged 3 commits into
masterfrom
fix/stringize-prints-the-codomain

An assembly compiled against 2.3.0 does not need a rebuild

0314f89
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar