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
TKuh wants to merge 2 commits intohomalg-project:masterfrom
Commits
Commits on Nov 23, 2023
- committed
Tom Kuhmichel - committedTom Kuhmichel