Division-factor evaluation shard 4

This serial interpolation shard verifies a small block of rational abscissas.

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.divisionEvalBlock4 (d : ℚ) (i : Fin 5) : DivisionEvalCertificate d (↑↑i + 20)