Theorem CategoryTheory.Equivalence.counitIso_functor_comp

Modification history

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 →