Mathlib Changelog
v4
Changelog
About
Github
Theorem
CategoryTheory.Iso.hom_inv_id_app_app
Modification history
2024-12-13 07:54
Mathlib/CategoryTheory/NatIso.lean
feat(CategoryTheory/Localization): liftings of bifunctors (#19894) …
Added
CategoryTheory.Iso.hom_inv_id_app_app
View on Github →