mathlib3

df916232 - chore(category_theory/whiskering): clean up (#1613)

chore(category_theory/whiskering): clean up (#1613) * chore(category_theory/whiskering): clean up * ugh, the stalks proofs are so fragile * fixes * minor * fix * fix