Def CategoryTheory.isoCompInv

Modification history

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