Mathlib v3 is deprecated. Go to Mathlib v4

Theorem category_theory.graded_object.shift_functor_map_apply

Modification history

2020-07-11 07:58
src/category_theory/graded_object.lean
feat(category/has_shift): missing simp lemmas (#3365)
Added category_theory.graded_object.shift_functor_map_applyView on Github →