Twin prime pair
IsTwinPrimePairdef
A twin prime pair is a pair of primes differing by two.
def IsTwinPrimePair (p q : ℕ) : Prop := p.Prime ∧ q.Prime ∧ q = p + 2From Mathlib
import Conjectura.Defs.Mathematics.NumberTheory.TwinPrimePair · maintainer — open · raw source
Copyright (c) 2026 The Conjectura Authors. All rights reserved. Released under Apache 2.0 license as described in the file LICENSE. Authors: The Conjectura Authors