Theorem CategoryTheory.Localization.associator_hom_app_app_app

Modification history

2025-01-20 13:12
Mathlib/CategoryTheory/Localization/Trifunctor.lean
feat(CategoryTheory): localization of trifunctors (#20788) …
Added CategoryTheory.Localization.associator_hom_app_app_appView on Github →