Def CategoryTheory.PullbackShift

Modification history

2026-04-19 00:33
Mathlib/CategoryTheory/Shift/Pullback.lean
chore: adaptations for overlapping instances linter (#38151) …
Modified CategoryTheory.PullbackShiftView on Github →
2023-09-21 16:56
Mathlib/CategoryTheory/Shift/Pullback.lean
feat(CategoryTheory): the pullback of a shift by a monoid morphism (#7270)
Added CategoryTheory.PullbackShiftView on Github →