Library PrimeGapS1.MaynardVerify.M2_4

From PrimeGapS1.MaynardVerify Require Import Def.

Lemma M2_check_rows_28_34 :
  M2_check_rows (List.seq 28 7) = true.
Proof. vm_cast_no_check (eq_refl true). Qed.