Documentation

LeanPool.ConwaySoifer.Simplified.Certificates.Checked.Aown140000150000

Aown 140000 150000 #

Kernel-checked forced assignments and closed-interval exclusions.

source
theorem ConwaySoifer.Simplified.Certificates.Aown140000150000.excluded24_6 :
Certificates.ExcludedOn (model24.B 6) 9000000000000 (model24.caps 6) (model24.ord 6) 0 1 100
source
theorem ConwaySoifer.Simplified.Certificates.Aown_140000_150000_checked :
Data.Aown140000150000.Valid