Theorem CategoryTheory.Functor.CommShift.ofIso_compatibility

Modification history

2024-06-24 08:03
Mathlib/CategoryTheory/Shift/CommShift.lean
feat(CategoryTheory): more API for the commutation of functors with shifts (#13757) …
Added CategoryTheory.Functor.CommShift.ofIso_compatibilityView on Github →