Documentation

LeanPool.ConwaySoifer.Simplified.Certificates.Checked.Sext310000320000

Sext 310000 320000 #

Kernel-checked forced assignments and closed-interval exclusions.

source
theorem ConwaySoifer.Simplified.Certificates.Sext310000320000.excluded32_2 :
Certificates.ExcludedOn (model32.B 2) 9000000000000 (model32.caps 2) (model32.ord 2) 0 1 100
source
theorem ConwaySoifer.Simplified.Certificates.Sext_310000_320000_checked :
Data.Sext310000320000.Valid