Mathlib-free Lean helpers (fold lemmas, vector updates) shared across the hex libraries. - View it on GitHub