`graphTheoryCert`

definition

show as: view math explainer →

module: IndisputableMonolith.Mathematics.GraphTheoryFromRS
domain: Mathematics
line: 40 · github
papers citing: none yet

open explainer

Read the cached plain-language explainer.

open lean source

IndisputableMonolith.Mathematics.GraphTheoryFromRS on GitHub at line 40.

browse module

All declarations in this module, on Recognition.

explainer page

A cached Ask Recognition explainer exists for this declaration.

open explainer

depends on

formal source

  37  chromatic_2 : q3ChromaticNumber = 2
  38  edges_factored : q3Edges = 3 * 4
  39
  40def graphTheoryCert : GraphTheoryCert where
  41  vertices_8 := q3Vertices_eq
  42  edges_12 := q3Edges_eq
  43  chromatic_2 := q3Chromatic_eq
  44  edges_factored := q3Edges_factored
  45
  46end IndisputableMonolith.Mathematics.GraphTheoryFromRS

papers checked against this theorem

No papers in the current corpus map onto this theorem yet.