Documentation

LeanPool.ConwaySoifer.Simplified.Certificates.Checked.Sint310000320000

Sint 310000 320000 #

Kernel-checked forced assignments and closed-interval exclusions.

source
theorem ConwaySoifer.Simplified.Certificates.Sint310000320000.excluded44_6 :
Certificates.ExcludedOn (model44.B 6) 9000000000000 (model44.caps 6) (model44.ord 6) 0 1 100
source
theorem ConwaySoifer.Simplified.Certificates.Sint_310000_320000_checked :
Data.Sint310000320000.Valid