Skip to content

add lemmas

bda721e
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Open

feat(FieldTheory/Finite): irreducible polynomial divides X^q^n - X iff degree divides n #39239

add lemmas
bda721e
Select commit
Loading
Failed to load commit list.