Skip to content

Update Lean and Mathlib #582

Update Lean and Mathlib

Update Lean and Mathlib #582

update

succeeded Dec 11, 2025 in 3m 2s