Documentation

LeanPool.ConwaySoifer.Simplified.Certificates.Checked.Aown135000140000

Aown 135000 140000 #

Kernel-checked forced assignments and closed-interval exclusions.

source
theorem ConwaySoifer.Simplified.Certificates.Aown135000140000.excluded11_6 :
Certificates.ExcludedOn (model11.B 6) 9000000000000 (model11.caps 6) (model11.ord 6) 0 1 200
source
theorem ConwaySoifer.Simplified.Certificates.Aown_135000_140000_checked :
Data.Aown135000140000.Valid