Documentation

LeanPool.ConwaySoifer.Simplified.Certificates.Checked.Sext300000310000

Sext 300000 310000 #

Kernel-checked forced assignments and closed-interval exclusions.

source
theorem ConwaySoifer.Simplified.Certificates.Sext300000310000.excluded20_2 :
Certificates.ExcludedOn (model20.B 2) 9000000000000 (model20.caps 2) (model20.ord 2) 0 1 100
source
theorem ConwaySoifer.Simplified.Certificates.Sext_300000_310000_checked :
Data.Sext300000310000.Valid