Def CategoryTheory.isoInvComp

Modification history

2024-02-07 10:11
Mathlib/CategoryTheory/Functor/InvIsos.lean
refactor: move natural isomorphisms involving inverses of equivalences (#10278) …
Deleted CategoryTheory.isoInvCompView on Github →
2023-02-13 06:51
Mathlib/CategoryTheory/Functor/InvIsos.lean
feat: port CategoryTheory.Functor.InvIsos (#2237)
Added CategoryTheory.isoInvCompView on Github →