Lean 4.25.1 (2025-11-18)🔗

Lean v4.25.1 是一个错误修复版本，修复了 lake 中的缓存问题，影响了 ProofWidgets4 的某些下游依赖项。