fact: Definition many_poly_arr (arguments: list poly_type) (target: poly_type) := fold_right poly_arr target arguments.
imports: List Lia Undecidability.SystemF.SysF Undecidability.SystemF.Autosubst.syntax Undecidability.SystemF.Autosubst.unscoped Undecidability.SystemF.Util.Facts ssreflect ssrbool ssrfun