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