For separable `F` the route-F and original polynomial types agree: every factor is separable, so its closure is finite by `closure_finite_of_separable`.

Initializing...

For separable `F` the route-F and original polynomial types agree: every factor is separable, so its closure is finite by `closure_finite_of_separable`. · Prove2Me