Aown 190000 200000

Kernel-checked forced assignments and closed-interval exclusions.

theorem ConwaySoifer.Simplified.Certificates.Aown190000200000.excluded26_0 : Certificates.ExcludedOn (model26.B 0) 9000000000000 (model26.caps 0) (model26.ord 0) 0 1 100

theorem ConwaySoifer.Simplified.Certificates.Aown_190000_200000_checked : Data.Aown190000200000.Valid