Def CategoryTheory.Functor.CommShift.ofInduced
Modification history
2025-05-02 23:00
Mathlib/CategoryTheory/Shift/Induced.lean
chore: bump toolchain to v4.20.0-rc2 (#24561)
Deleted CategoryTheory.Functor.CommShift.ofInducedView on Github →2023-09-04 15:04
Mathlib/CategoryTheory/Shift/Induced.lean
feat: the induced shift on the target category of a functor (#6652) …
Added CategoryTheory.Functor.CommShift.ofInducedView on Github →2023-08-18 09:39
Mathlib/CategoryTheory/Shift/Induced.lean
trying to revert unwanted commits
Deleted CategoryTheory.Functor.CommShift.ofInducedView on Github →2023-08-18 09:18
Mathlib/CategoryTheory/Shift/Induced.lean
Merge remote-tracking branch 'origin/shift_induced'
Added CategoryTheory.Functor.CommShift.ofInducedView on Github →2023-08-17 11:16
Mathlib/CategoryTheory/Shift/Induced.lean
refactor(Algebra/Lie/BaseChange): use new tensor product machinery (#6628)
Deleted CategoryTheory.Functor.CommShift.ofInducedView on Github →2023-08-17 15:45
Mathlib/CategoryTheory/Shift/Induced.lean
pleasing the linter
Added CategoryTheory.Functor.CommShift.ofInducedView on Github →