mathlib3
chore(category_theory/notation): consistently use notation for functor.id
#1378
Merged
Merged