P
Initializing...
Off `{a_n = 0} ∪ {disc = 0}` the binary form `F_a` is étale. · Prove2Me