Theorem CategoryTheory.Functor.commShiftOfLocalization.iso_inv_app

Modification history

2024-07-17 21:58
Mathlib/CategoryTheory/Shift/Localization.lean
feat: Functor.mapDerivedCategory is a triangulated functor (#14153) …
Added CategoryTheory.Functor.commShiftOfLocalization.iso_inv_appView on Github →