Commit 2025-11-04 13:39 e5512477
View on Github →refactor(Algebra/CharP): strengthen expansion of (x + y) ^ p ^ n (#31193)
Previously, we only knew that the remaining terms were divisible by p. Now we know they are divisible by p * x * y.
From ClassFieldTheory