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