Documentation

LeanPool.ConwaySoifer.Simplified.Certificates.Checked.Sint350000360000

Sint 350000 360000 #

Kernel-checked forced assignments and closed-interval exclusions.

source
theorem ConwaySoifer.Simplified.Certificates.Sint350000360000.excluded27_0 :
Certificates.ExcludedOn (model27.B 0) 9000000000000 (model27.caps 0) (model27.ord 0) 0 1 100
source
theorem ConwaySoifer.Simplified.Certificates.Sint_350000_360000_checked :
Data.Sint350000360000.Valid