Mathlib Changelog
v4
Changelog
About
Github
Commit
2024-04-01 20:23
2a4a37a6
View on Github →
chore: add pp_dot to Functor.unop (
#11823
)
Estimated changes
Modified
Mathlib/CategoryTheory/Opposites.lean