Documentation

LeanPool.ConwaySoifer.Simplified.Certificates.Checked.Across017500022500

Across 017500 022500 #

Kernel-checked forced assignments and closed-interval exclusions.

source
theorem ConwaySoifer.Simplified.Certificates.Across017500022500.excluded4_0 :
Certificates.ExcludedOn (model4.B 0) 9000000000000 (model4.caps 0) (model4.ord 0) 0 1 200
source
theorem ConwaySoifer.Simplified.Certificates.Across_017500_022500_checked :
Data.Across017500022500.Valid