Library PrimeGapS1.MaynardVerify.M2_3

From PrimeGapS1.MaynardVerify Require Import Def.

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