Theorem CategoryTheory.Localization.natTrans₃_ext

Modification history

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