Theorem CategoryTheory.NatTrans.CommShift.of_isIso

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.NatTrans.CommShift.of_isIsoView on Github →