Skip to content

derived CartesianLeft/RightUnitorInverse and CocartesianLeft/RightUnitor - #1863

Merged
mohamed-barakat merged 1 commit into
homalg-project:masterfrom
mohamed-barakat:CartesianUnitorInverse
Jul 16, 2026
Merged

derived CartesianLeft/RightUnitorInverse and CocartesianLeft/RightUnitor#1863
mohamed-barakat merged 1 commit into
homalg-project:masterfrom
mohamed-barakat:CartesianUnitorInverse

derived CartesianLeft/RightUnitorInverse and CocartesianLeft/RightUnitor

2b5b0b9
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
Build docs (stable)
succeeded Jul 15, 2026 in 4m 50s