Mathlib Changelog
v4
Changelog
About
Github
Commit
2023-06-29 20:50
983ee563
View on Github →
chore: fix universe parameters in
Condensed
. (
#5574
)
Estimated changes
Modified
Mathlib/Condensed/Basic.lean
modified
def
Condensed