Documentation

LeanPool.ConwaySoifer.Simplified.Certificates.Checked.Sext180000190000

Sext 180000 190000 #

Kernel-checked forced assignments and closed-interval exclusions.

source
theorem ConwaySoifer.Simplified.Certificates.Sext180000190000.excluded68_1 :
Certificates.ExcludedOn (model68.B 1) 9000000000000 (model68.caps 1) (model68.ord 1) 0 1 100
source
theorem ConwaySoifer.Simplified.Certificates.Sext_180000_190000_checked :
Data.Sext180000190000.Valid