mathlib
8590ff2b - fix(functor_category): remove superfluous coercions (#670)

Commit

6 years ago

fix(functor_category): remove superfluous coercions (#670)

References

#670 - fix(functor_category): remove superfluous coercions

Author

kim-em

kim-em

Committer

rwbarton

rwbarton

Parents

Loading