WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry) Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com> Simon-Pierre Boucher committed 5 days ago (Oct 29, 2026) 6162f9a parent 729bced Browse files 0 changed files +0 −0 Wrap Unified Split