P
Initializing...
A monic `P` with `P(0) ≠ 0` has type `τ` iff its normalized reversal does. · Prove2Me