Documentation

LeanPool.ConwaySoifer.Simplified.Certificates.Checked.Across117500122500

Across 117500 122500 #

Kernel-checked forced assignments and closed-interval exclusions.

source
theorem ConwaySoifer.Simplified.Certificates.Across117500122500.excluded1_0 :
Certificates.ExcludedOn (model1.B 0) 9000000000000 (model1.caps 0) (model1.ord 0) 0 1 200
source
theorem ConwaySoifer.Simplified.Certificates.Across_117500_122500_checked :
Data.Across117500122500.Valid