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.
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.