Mathlib Changelog
v4
Changelog
About
Github
Commit
2024-05-14 08:20
aad19d88
View on Github →
docs(Condensed): add link to youtube playlist where light condensed sets are defined (
#12898
)
Estimated changes
Modified
Mathlib/Condensed/Light/Basic.lean