Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-07-11 07:58 75b9cfa3

View on Github →

feat(category/has_shift): missing simp lemmas (#3365)

Estimated changes

Modified src/category_theory/graded_object.lean

added theorem category_theory.graded_object.shift_functor_map_apply

added theorem category_theory.graded_object.shift_functor_obj_apply