Theorem Comon_.ext

Modification history

2024-08-05 08:52

Mathlib/CategoryTheory/Monoidal/Comon_.lean

chore: move toolchain to v4.11.0-rc1 (#15513)

Modified Comon_.ext View on Github →

2024-05-09 16:03

Mathlib/CategoryTheory/Monoidal/Comon_.lean

feat: basic definition of comonoid objects (#10091)

Added Comon_.ext View on Github →