OAI/NumberTheory/Jacobsthal/Model.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Erdos970.NumberTheoryLean.Targets.IsJacobsthalBound line 12

   Also declared: ComparatorChallenges/Jacobsthal.lean:12 (same declaration text), ComparatorChallenges/JacobsthalImproved.lean:9 (same declaration text).

2. def OAI.Erdos970.NumberTheoryLean.Targets.JacobsthalQuadratic line 16

   Also declared: ComparatorChallenges/Jacobsthal.lean:16 (same declaration text).