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