Theorem CategoryTheory.Equivalence.counitIso_functor_comp

Modification history

2026-10-04 06:22
Mathlib/CategoryTheory/Equivalence.lean
feat(Translate): command for adding a translation (#43750) …
Deleted CategoryTheory.Equivalence.counitIso_functor_compView on Github →
2026-03-16 18:02
Mathlib/CategoryTheory/Equivalence.lean
feat(CategoryTheory/Equivalence): tag `Equivalence` with `to_dual` (#36579) …
Added CategoryTheory.Equivalence.counitIso_functor_compView on Github →