Theorem Module.AEval'.X_pow_smul_of

Modification history

2025-09-27 09:23
Mathlib/Algebra/Polynomial/Module/AEval.lean
feat(FieldTheory/Galois): normal basis theorem (#27390) …
Added Module.AEval'.X_pow_smul_ofView on Github →