Commit 2025-04-21 18:16 32998106

View on Github →

chore(CategoryTheory/Whiskering): more lemmas about isoWhisker (#24252) Duplicate some of the whiskerLeft/whiskerRight lemmas for isoWhiskerLeft/isoWhiskerRight.

Estimated changes