Commit 2026-08-22 19:30 b63493a4
View on Github →chore(FieldTheory/KummerExtension): rename theorems (#42886) Rename some theorems which only apply in the case of odd prime, in preparation for proving the analagous statements for not odd primes.
chore(FieldTheory/KummerExtension): rename theorems (#42886) Rename some theorems which only apply in the case of odd prime, in preparation for proving the analagous statements for not odd primes.