Documentation

LeanPool.ConwaySoifer.Simplified.Certificates.Checked.Across047500052500

Across 047500 052500 #

Kernel-checked forced assignments and closed-interval exclusions.

source
theorem ConwaySoifer.Simplified.Certificates.Across047500052500.excluded5_1 :
Certificates.ExcludedOn (model5.B 1) 9000000000000 (model5.caps 1) (model5.ord 1) 0 1 200
source
theorem ConwaySoifer.Simplified.Certificates.Across_047500_052500_checked :
Data.Across047500052500.Valid