For `f` regular modulo `π`, the curve ring `R/(f)` is free over `O` of rank equal to the length of `R/(π, f)`.

Initializing...

For `f` regular modulo `π`, the curve ring `R/(f)` is free over `O` of rank equal to the length of `R/(π, f)`. · Prove2Me