mathlib
c100004c - refactor(category_theory/shift_functor): improve defeq of inverse (#14300)

Commit

3 years ago

refactor(category_theory/shift_functor): improve defeq of inverse (#14300) Co-authored-by: Scott Morrison <scott.morrison@gmail.com>

Author

kim-em

Parents