Documentation

LeanPool.ConwaySoifer.Simplified.Certificates.Checked.Sext250000252500

Sext 250000 252500 #

Kernel-checked forced assignments and closed-interval exclusions.

source
theorem ConwaySoifer.Simplified.Certificates.Sext250000252500.excluded38_0 :
Certificates.ExcludedOn (model38.B 0) 9000000000000 (model38.caps 0) (model38.ord 0) 0 1 400
source
theorem ConwaySoifer.Simplified.Certificates.Sext_250000_252500_checked :
Data.Sext250000252500.Valid