Documentation

LeanPool.ConwaySoifer.Simplified.Certificates.Checked.Sext280000290000

Sext 280000 290000 #

Kernel-checked forced assignments and closed-interval exclusions.

source
theorem ConwaySoifer.Simplified.Certificates.Sext280000290000.excluded43_0 :
Certificates.ExcludedOn (model43.B 0) 9000000000000 (model43.caps 0) (model43.ord 0) 0 1 100
source
theorem ConwaySoifer.Simplified.Certificates.Sext_280000_290000_checked :
Data.Sext280000290000.Valid