Skip to content

Update theories/Algebra/Categorical/MonoidObject.v

06ac860
Select commit
Loading
Failed to load commit list.
Merged

comonoid objects in opposite category are monoids #2004

Update theories/Algebra/Categorical/MonoidObject.v
06ac860
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs