AntoineChambert-Loir/DividedPowers4

DividedPowers in Lean / Mathlib 4

GitHub repository with 5 stars and 1 forks.

Language: Lean

Open provider repository