fix(Topology/Category): make TopCat.Hom constructor private#39005
Open
dagurtomas wants to merge 5 commits intoleanprover-community:masterfrom
Open
fix(Topology/Category): make TopCat.Hom constructor private#39005dagurtomas wants to merge 5 commits intoleanprover-community:masterfrom
TopCat.Hom constructor private#39005dagurtomas wants to merge 5 commits intoleanprover-community:masterfrom
Commits
Commits on May 6, 2026
- committed
- committed
- committed
- committed
- authored
