Mathlib Changelog
v4
Changelog
About
Github
Structure
Cache.Requests.DownloadResult
Modification history
2026-09-29 23:48
Cache/Requests.lean
fix(cache): avoid misleading message on refs not built "on purpose" (#41983) …
Added
Cache.Requests.DownloadResult
View on Github →