Documentation

LeanPool.ConwaySoifer.Simplified.Certificates.Checked.Sint300000310000

Sint 300000 310000 #

Kernel-checked forced assignments and closed-interval exclusions.

source
theorem ConwaySoifer.Simplified.Certificates.Sint300000310000.excluded36_3 :
Certificates.ExcludedOn (model36.B 3) 9000000000000 (model36.caps 3) (model36.ord 3) 0 1 100
source
theorem ConwaySoifer.Simplified.Certificates.Sint_300000_310000_checked :
Data.Sint300000310000.Valid