Documentation

LeanPool.ConwaySoifer.Simplified.Certificates.Checked.Aown210000220000

Aown 210000 220000 #

Kernel-checked forced assignments and closed-interval exclusions.

source
theorem ConwaySoifer.Simplified.Certificates.Aown210000220000.excluded49_4 :
Certificates.ExcludedOn (model49.B 4) 9000000000000 (model49.caps 4) (model49.ord 4) 0 1 100
source
theorem ConwaySoifer.Simplified.Certificates.Aown_210000_220000_checked :
Data.Aown210000220000.Valid