(motive : Lean.Name × Lean.Expr × List Bool → Sort u_1) →
  (__discr : Lean.Name × Lean.Expr × List Bool) →
    ((ndeg_or_deg_or_coeff : Lean.Name) →
        (pol : Lean.Expr) → (and? : List Bool) → motive (ndeg_or_deg_or_coeff, pol, and?)) →
      motive __discr