Mathlib Changelog
v4
Changelog
About
Github
Theorem
CategoryTheory.NatTrans.op_comp
Modification history
2025-06-05 14:45
Mathlib/CategoryTheory/Opposites.lean
chore(CategoryTheory/Opposites): pseudofunctoriality of opposites (#24662) …
Added
CategoryTheory.NatTrans.op_comp
View on Github →