Recurrence 2 lookup certificate: Scalar3Exceptional degree bound

This is a checked coefficient-lookup shard for the second pseudo-division recurrence in the order-seven certificate.

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_natDegree_le : Polynomial.natDegree recurrence2Scalar3Exceptional ≤ 375

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_high (n : ℕ) (h : 375 < n) : Polynomial.coeff recurrence2Scalar3Exceptional n = 0