Commit 2025-04-03 18:22 10a49d76
View on Github →chore(CategoryTheory/Whiskering): lemmas about NatTrans.hcomp
and whiskering
(#23639)
Add basic lemmas that were missing in the API.
chore(CategoryTheory/Whiskering): lemmas about NatTrans.hcomp
and whiskering
(#23639)
Add basic lemmas that were missing in the API.