Documentation

LeanPool.ConwaySoifer.Simplified.Certificates.Checked.Aown220000230000

Aown 220000 230000 #

Kernel-checked forced assignments and closed-interval exclusions.

source
theorem ConwaySoifer.Simplified.Certificates.Aown220000230000.excluded38_3 :
Certificates.ExcludedOn (model38.B 3) 9000000000000 (model38.caps 3) (model38.ord 3) 0 1 100
source
theorem ConwaySoifer.Simplified.Certificates.Aown_220000_230000_checked :
Data.Aown220000230000.Valid