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
.
chore(CategoryTheory/Whiskering): more lemmas about isoWhisker
(#24252)
Duplicate some of the whiskerLeft
/whiskerRight
lemmas for isoWhiskerLeft
/isoWhiskerRight
.