Documentation

LeanPool.ConwaySoifer.Simplified.Certificates.Checked.Across027500032500

Across 027500 032500 #

Kernel-checked forced assignments and closed-interval exclusions.

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