An element of exact order `d` is a degree-`d` form in `t, x` with some coefficient a unit.

Initializing...

An element of exact order `d` is a degree-`d` form in `t, x` with some coefficient a unit. · Prove2Me