mathlib3
fix(functor_category): remove superfluous coercions
#670

Merged

fix(functor_category): remove superfluous coercions #670

rwbarton merged 1 commit into master from functor-category-no-coercion

fix(functor_category): remove superfluous coercions

152e6c62

cipher1024 assigned

rwbarton 6 years ago

rwbarton merged 8590ff2b into master 6 years ago

kim-em deleted the functor-category-no-coercion branch 6 years ago

Reviewers

No reviews

Assignees

rwbarton

Labels

None yet

Milestone

No milestone