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.

Estimated changes