Commit 2024-08-08 18:23 4866b677

View on Github →

feat(Algebra/GeomSum): add two lemmas (#15050) Add missing lemma x ^ m - 1 ∣ x ^ (m * n) - 1 for x both in Nat and Ring.

Estimated changes