Theorem CategoryTheory.pullbackShiftFunctorAdd'_inv_app

Modification history

2023-09-21 16:56
Mathlib/CategoryTheory/Shift/Pullback.lean
feat(CategoryTheory): the pullback of a shift by a monoid morphism (#7270)
Added CategoryTheory.pullbackShiftFunctorAdd'_inv_appView on Github →