Theorem Quiver.Hom.unop_mk

Modification history

2026-01-14 22:55
Mathlib/CategoryTheory/Opposites.lean
style: be consistent about inserting spaces after { or before } (#33978) …
Modified Quiver.Hom.unop_mkView on Github →
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 →