Documentation

LeanPool.ConwaySoifer.Simplified.Certificates.Checked.Sint290000300000

Sint 290000 300000 #

Kernel-checked forced assignments and closed-interval exclusions.

source
theorem ConwaySoifer.Simplified.Certificates.Sint290000300000.excluded40_1 :
Certificates.ExcludedOn (model40.B 1) 9000000000000 (model40.caps 1) (model40.ord 1) 0 1 100
source
theorem ConwaySoifer.Simplified.Certificates.Sint_290000_300000_checked :
Data.Sint290000300000.Valid