Classify groups of order 6, 10, 14, 9, 15
Use new results in mathlib and generalise MulZMod
lemmas
Force push
Replace lakefile.lean with lakefile.toml
wuprpushed 1 commit to main • c95d556…9a814a2 • 11 days ago
Use new results in mathlib and generalise MulZMod
lemmas
Force push
Refactor proof of a main theorem
wuprpushed 2 commits to main • 5e73b0c…c95d556 • 11 days ago
Use new results in mathlib and generalise MulZMod
lemmas
Bump Lean and Mathlib to v4.15.0
Force push
wuprforce pushed to main • d252988…5e73b0c • 11 days ago
Use new results in mathlib and generalise MulZMod
lemmas
Force push
wuprforce pushed to main • 00dd407…d252988 • 13 days ago
Use new results in mathlib and generalise MulZMod
lemmas
wuprpushed 3 commits to main • 4eb38e1…00dd407 • 13 days ago
Minor formatting and naming fixes
wuprpushed 1 commit to main • c90caa1…4eb38e1 • on Dec 5, 2024
Bump Lean and Mathlib to v4.13.0
wuprpushed 1 commit to main • 7173622…c90caa1 • on Nov 7, 2024
wuprcreated main • 7173622 • on Oct 30, 2024
You can’t perform that action at this time.