Recurrence 2 lookup certificate: C2 source 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.recurrence2C2_coeff_high (n : ℕ) (h : 186 < n) : Polynomial.coeff remainder4Coefficient2 n = 0

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2C2_natDegree_le : Polynomial.natDegree remainder4Coefficient2 ≤ 186