Library PrimeGapS1.MaynardVerify.M2_5

From PrimeGapS1.MaynardVerify Require Import Def.

Lemma M2_check_rows_35_41 :
  M2_check_rows (List.seq 35 7) = true.
Proof.
  vm_cast_no_check (eq_refl true).
Qed.