Add UniversalPropertyOf(Co)DualWithGiven(Co)DualObject#1488
Open
TKuh wants to merge 2 commits intohomalg-project:masterfrom
Open
Add UniversalPropertyOf(Co)DualWithGiven(Co)DualObject#1488TKuh wants to merge 2 commits intohomalg-project:masterfrom
UniversalPropertyOf(Co)DualWithGiven(Co)DualObject#1488TKuh wants to merge 2 commits intohomalg-project:masterfrom
Commits
Commits on Nov 23, 2023
- committed
Tom Kuhmichel - committedTom Kuhmichel