Mathlib Changelog
v4
Changelog
About
Github
Theorem
CategoryTheory.Functor.triangleIso
Modification history
2025-04-21 18:16
Mathlib/CategoryTheory/Whiskering.lean
chore(CategoryTheory/Whiskering): more lemmas about `isoWhisker` (#24252) …
Added
CategoryTheory.Functor.triangleIso
View on Github →