Mathlib Changelog
v4
Changelog
About
Github
Commit
2023-11-17 13:15
c02d0cec
View on Github →
fix(Condensed): remove a name that doesn't exist anymore from a docstring (
#8442
)
Estimated changes
Modified
Mathlib/Condensed/Functors.lean