Theorem Quiver.Hom.unop_mk

Modification history

2024-05-23 18:22
Mathlib/CategoryTheory/Opposites.lean
feat: comonoid objects in a braided category form a monoidal category (#10098)
Added Quiver.Hom.unop_mkView on Github →