mathlib
fc739bf5 - feat(category_theory/localization): extension of natural transformations (#15747)

Commit

3 years ago

feat(category_theory/localization): extension of natural transformations (#15747) Co-authored-by: Joël Riou <37772949+joelriou@users.noreply.github.com>

Author

joelriou

Parents

bd980416

mathlib fc739bf5 - feat(category_theory/localization): extension of natural transformations (#15747)

mathlib
fc739bf5 - feat(category_theory/localization): extension of natural transformations (#15747)