Structure CategoryTheory.CommComon

Modification history

2025-09-25 12:38

Mathlib/CategoryTheory/Monoidal/CommComon_.lean

feat(CategoryTheory/Monoidal): Add commutative comonoid objects (#29919) …

Added CategoryTheory.CommComon View on Github →