Def CategoryTheory.Functor.CommShift.ofIso

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.ofIsoView on Github →