# Commit 2022-08-12 04:23 fc739bf5

View on Github →feat(category_theory/localization): extension of natural transformations (#15747)

Mathlib v3 is deprecated. Go to Mathlib v4

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