Skip to content

simplified Cartesian*UnitorInverse and Cocartesian*Unitor - #1865

Merged
mohamed-barakat merged 2 commits into
homalg-project:masterfrom
mohamed-barakat:CartesianUnitorInverse
Jul 28, 2026
Merged

simplified Cartesian*UnitorInverse and Cocartesian*Unitor#1865
mohamed-barakat merged 2 commits into
homalg-project:masterfrom
mohamed-barakat:CartesianUnitorInverse

simplified Cartesian*UnitorInverse and Cocartesian*Unitor

84a785c
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
Build docs (master)
succeeded Jul 28, 2026 in 4m 18s