A route-F polynomial type is a polynomial type (forget the closure-finiteness witnesses).

Initializing...

A route-F polynomial type is a polynomial type (forget the closure-finiteness witnesses). · Prove2Me