Mathlib Changelog
v4
Changelog
About
Github
Theorem
CategoryTheory.Iso.inv_hom_id_app_app_app
Modification history
2025-01-02 12:06
Mathlib/CategoryTheory/NatIso.lean
feat(CategoryTheory): whiskering and curryfication of functors in three variables (#20197)
Added
CategoryTheory.Iso.inv_hom_id_app_app_app
View on Github →