Documentation

LeanPool.ConwaySoifer.Simplified.Certificates.Checked.Aown250000260000

Aown 250000 260000 #

Kernel-checked forced assignments and closed-interval exclusions.

source
theorem ConwaySoifer.Simplified.Certificates.Aown250000260000.excluded34_3 :
Certificates.ExcludedOn (model34.B 3) 9000000000000 (model34.caps 3) (model34.ord 3) 0 1 100
source
theorem ConwaySoifer.Simplified.Certificates.Aown_250000_260000_checked :
Data.Aown250000260000.Valid