mathlib

ee8e447e - chore(category_theory/whiskering): Fix docstring (#8533)