Mathlib Changelog
v4
Changelog
About
Github
Theorem
CategoryTheory.whiskerRight_apply
Modification history
2023-11-07 14:42
Mathlib/CategoryTheory/Monoidal/Types/Basic.lean
feat(CategoryTheory/Monoidal): add lemmas for whiskering operators (#8191) …
Added
CategoryTheory.whiskerRight_apply
View on Github →