Densities over `𝔽_{p^m}⟦X⟧` (`GaloisField p m`, `m ≠ 0`): the universal expressions evaluated at `q = p^m`.

Initializing...

Densities over `𝔽_{p^m}⟦X⟧` (`GaloisField p m`, `m ≠ 0`): the universal expressions evaluated at `q = p^m`. · Prove2Me