Documentation

LeanPool.ConwaySoifer.Simplified.Certificates.Checked.Across012500017500

Across 012500 017500 #

Kernel-checked forced assignments and closed-interval exclusions.

source
theorem ConwaySoifer.Simplified.Certificates.Across012500017500.excluded6_6 :
Certificates.ExcludedOn (model6.B 6) 9000000000000 (model6.caps 6) (model6.ord 6) 0 1 200
source
theorem ConwaySoifer.Simplified.Certificates.Across_012500_017500_checked :
Data.Across012500017500.Valid