Commit 2025-06-28 19:54 f3137f53

View on Github →

chore(CategoryTheory/Whiskering): add inv_whiskerLeft and inv_whiskerRight (#26401) Corresponding lemmas for bicategories exist, but the ones for functors and natural transformations were missing.

Estimated changes