P
Initializing...
Densities over `𝔽_p⟦X⟧`: the universal expressions evaluated at `q = p`. · Prove2Me