Documentation

LeanPool.ConwaySoifer.Simplified.Certificates.Checked.Sext150000160000

Sext 150000 160000 #

Kernel-checked forced assignments and closed-interval exclusions.

source
theorem ConwaySoifer.Simplified.Certificates.Sext150000160000.excluded65_0 :
Certificates.ExcludedOn (model65.B 0) 9000000000000 (model65.caps 0) (model65.ord 0) 0 1 100
source
theorem ConwaySoifer.Simplified.Certificates.Sext_150000_160000_checked :
Data.Sext150000160000.Valid