Theorem CategoryTheory.pullbackShiftFunctorZero_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.pullbackShiftFunctorZero_inv_appView on Github →