Skip to content

Add Fel's Conjecture project; port to v4.30.0-rc2 Mathlib - #24

Merged
Vilin97 merged 7 commits into
mainfrom
vasil/fel-conjecture
May 10, 2026
Merged

Add Fel's Conjecture project; port to v4.30.0-rc2 Mathlib#24
Vilin97 merged 7 commits into
mainfrom
vasil/fel-conjecture

Commits

  1. Commits on May 9, 2026

  2. Commits on May 10, 2026