Library PrimeGapS1.MaynardVerify.M2_1

From PrimeGapS1.MaynardVerify Require Import Def.

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