The étale monic density, with the event "the algebra `K[X]/(f_a)` is étale and `O[X]/(f_a)` has algebra type `σ`".

Initializing...

The étale monic density, with the event "the algebra `K[X]/(f_a)` is étale and `O[X]/(f_a)` has algebra type `σ`". · Prove2Me