GitHub repository: AntoineChambert-Loir/DividedPowers4
Primary language: Lean
Description: DividedPowers in Lean / Mathlib 4