Documentation

LeanPool.ConwaySoifer.Simplified.Certificates.Checked.Sext255000260000

Sext 255000 260000 #

Kernel-checked forced assignments and closed-interval exclusions.

source
def ConwaySoifer.Simplified.Certificates.Sext255000260000.fan35Owner0Part0 :
Certificates.FanWitness

Shared exact orientation-fan tail for this local exclusion.

Equations
  • One or more equations did not get rendered due to their size.
Instances For
    source
    def ConwaySoifer.Simplified.Certificates.Sext255000260000.fan35Owner0Part1 :
    Certificates.FanWitness

    Shared exact orientation-fan tail for this local exclusion.

    Equations
    • One or more equations did not get rendered due to their size.
    Instances For
      source
      theorem ConwaySoifer.Simplified.Certificates.Sext255000260000.excluded35_0 :
      Certificates.ExcludedOn (model35.B 0) 9000000000000 (model35.caps 0) (model35.ord 0) 0 1 200
      source
      theorem ConwaySoifer.Simplified.Certificates.Sext_255000_260000_checked :
      Data.Sext255000260000.Valid