mathlib3
db0fa613 - feat(category_theory/differential_object): the shift functor (#6111)

Commit

4 years ago

feat(category_theory/differential_object): the shift functor (#6111) Requested by @jcommelin. Co-authored-by: Scott Morrison <scott.morrison@gmail.com>

Author

kim-em

Parents

f0413daf

mathlib3 db0fa613 - feat(category_theory/differential_object): the shift functor (#6111)

mathlib3
db0fa613 - feat(category_theory/differential_object): the shift functor (#6111)