Documentation

LeanPool.ConwaySoifer.Simplified.Certificates.Checked.Sext130000140000

Sext 130000 140000 #

Kernel-checked forced assignments and closed-interval exclusions.

source
theorem ConwaySoifer.Simplified.Certificates.Sext130000140000.excluded54_0 :
Certificates.ExcludedOn (model54.B 0) 9000000000000 (model54.caps 0) (model54.ord 0) 0 1 100
source
theorem ConwaySoifer.Simplified.Certificates.Sext_130000_140000_checked :
Data.Sext130000140000.Valid