Documentation

LeanPool.ConwaySoifer.Simplified.Certificates.Checked.Across022500027500

Across 022500 027500 #

Kernel-checked forced assignments and closed-interval exclusions.

source
theorem ConwaySoifer.Simplified.Certificates.Across022500027500.excluded7_0 :
Certificates.ExcludedOn (model7.B 0) 9000000000000 (model7.caps 0) (model7.ord 0) 0 1 200
source
theorem ConwaySoifer.Simplified.Certificates.Across_022500_027500_checked :
Data.Across022500027500.Valid