For a monic separable polynomial `f` over a field `K`, the algebra `K[X]/(f)` is étale.

Initializing...

For a monic separable polynomial `f` over a field `K`, the algebra `K[X]/(f)` is étale. · Prove2Me