Documentation

LeanPool.ConwaySoifer.Simplified.Certificates.Checked.Sext140000150000

Sext 140000 150000 #

Kernel-checked forced assignments and closed-interval exclusions.

source
theorem ConwaySoifer.Simplified.Certificates.Sext140000150000.excluded76_1 :
Certificates.ExcludedOn (model76.B 1) 9000000000000 (model76.caps 1) (model76.ord 1) 0 1 100
source
theorem ConwaySoifer.Simplified.Certificates.Sext_140000_150000_checked :
Data.Sext140000150000.Valid