Documentation

LeanPool.ConwaySoifer.Simplified.Certificates.Checked.Aown150000160000

Aown 150000 160000 #

Kernel-checked forced assignments and closed-interval exclusions.

source
theorem ConwaySoifer.Simplified.Certificates.Aown150000160000.excluded54_6 :
Certificates.ExcludedOn (model54.B 6) 9000000000000 (model54.caps 6) (model54.ord 6) 0 1 100
source
theorem ConwaySoifer.Simplified.Certificates.Aown_150000_160000_checked :
Data.Aown150000160000.Valid