Division-factor evaluation shard 0

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

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