Mathlib Changelog
v4
Changelog
About
Github
Def
Cache.Requests.Container.pathSegment
Modification history
2026-09-25 21:09
Cache/Infra.lean
feat(cache): retire the legacy container (#44174) …
Modified
Cache.Requests.Container.pathSegment
View on Github →
2026-09-15 00:29
Cache/Infra.lean
feat(cache): put with native Azure and S3 backends (#43378) …
Added
Cache.Requests.Container.pathSegment
View on Github →