Pell Field Coverage Block22 checked
ProvedD1Bound5.pellFieldCoverageBlock22_checkeddiophantine-tuplesnumber-theory
Exact coverage of original indices 1100 through 1149.
Preamble
import Init import Definitions.Def_D1Bound5_PellFiniteFieldCoverageLight_Definitions
Formal statement
section
namespace D1Bound5
set_option maxRecDepth 32768
set_option maxHeartbeats 12000000
theorem _root_.D1Bound5.pellFieldCoverageBlock22_checked :
∀ k : Fin 50, PellFieldCoverageLightAt (1100+k.val) := by sorry
end D1Bound5
end
Source
D1Bound5/PellFiniteFieldCoverageBlock22.lean, lines 7-10, SHA-256 c184b426bd03a847b1788bdbd169dbc3c3d8e1a7a8b6aca2c44513ab2688a762. Project: https://github.com/tomislav-math/d1-bound5-lean