Documentation

LeanPool.ConwaySoifer.Simplified.Certificates.Checked.Across112500117500

Across 112500 117500 #

Kernel-checked forced assignments and closed-interval exclusions.

source
theorem ConwaySoifer.Simplified.Certificates.Across112500117500.excluded6_1 :
Certificates.ExcludedOn (model6.B 1) 9000000000000 (model6.caps 1) (model6.ord 1) 0 1 200
source
theorem ConwaySoifer.Simplified.Certificates.Across_112500_117500_checked :
Data.Across112500117500.Valid