mathlib
75b9cfa3 - feat(category/has_shift): missing simp lemmas (#3365)

Commit

6 years ago

feat(category/has_shift): missing simp lemmas (#3365) Co-authored-by: Scott Morrison <scott.morrison@gmail.com>

Author

kim-em

Parents