mathlib3

chore(category_theory/functor_category): improve comment warning about hcomp_assoc [ci skip]

#1434

Merged