Theorem CategoryTheory.unop_tensor_unop

Modification history

2024-05-10 20:21
Mathlib/CategoryTheory/Monoidal/Opposite.lean
feat: comonoid objects are monoid objects in the opposite category (#10094)
Added CategoryTheory.unop_tensor_unopView on Github →