Lean 4.20.1 (2025-06-04)
The 4.20.1 point release addresses a metaprogramming regression in Lean.Environment.addDeclCore
(#8610).

The 4.20.1 point release addresses a metaprogramming regression in Lean.Environment.addDeclCore
(#8610).