Lean 4.25.1 (2025-11-18)🔗

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