Documentation

LeanPool.ConwaySoifer.Simplified.Certificates.Checked.Sext320000330000

Sext 320000 330000 #

Kernel-checked forced assignments and closed-interval exclusions.

source
theorem ConwaySoifer.Simplified.Certificates.Sext320000330000.excluded31_0 :
Certificates.ExcludedOn (model31.B 0) 9000000000000 (model31.caps 0) (model31.ord 0) 0 1 100
source
theorem ConwaySoifer.Simplified.Certificates.Sext_320000_330000_checked :
Data.Sext320000330000.Valid