Documentation

LeanPool.ConwaySoifer.Simplified.Certificates.Checked.Across042500047500

Across 042500 047500 #

Kernel-checked forced assignments and closed-interval exclusions.

source
theorem ConwaySoifer.Simplified.Certificates.Across042500047500.excluded5_0 :
Certificates.ExcludedOn (model5.B 0) 9000000000000 (model5.caps 0) (model5.ord 0) 0 1 200
source
theorem ConwaySoifer.Simplified.Certificates.Across_042500_047500_checked :
Data.Across042500047500.Valid