Documentation

LeanPool.ConwaySoifer.Simplified.Certificates.Checked.Sext170000180000

Sext 170000 180000 #

Kernel-checked forced assignments and closed-interval exclusions.

source
theorem ConwaySoifer.Simplified.Certificates.Sext170000180000.excluded41_0 :
Certificates.ExcludedOn (model41.B 0) 9000000000000 (model41.caps 0) (model41.ord 0) 0 1 100
source
theorem ConwaySoifer.Simplified.Certificates.Sext_170000_180000_checked :
Data.Sext170000180000.Valid