Proofgold Proposition

∀ x0 . x0 ∈ u6 ⟶ ∀ x1 . x1 ∈ u6 ⟶ ∀ x2 . x2 ∈ u6 ⟶ ∀ x3 . x3 ∈ u6 ⟶ ∀ x4 . x4 ∈ u6 ⟶ ∀ x5 . x5 ∈ u6 ⟶ ∀ x6 . x6 ∈ u6 ⟶ ∀ x7 . x7 ∈ u6 ⟶ TwoRamseyGraph_4_6_35_b x0 x1 x2 x3 ⟶ TwoRamseyGraph_4_6_35_b x0 x1 x4 x5 ⟶ TwoRamseyGraph_4_6_35_b x0 x1 x6 x7 ⟶ TwoRamseyGraph_4_6_35_b x2 x3 x4 x5 ⟶ TwoRamseyGraph_4_6_35_b x2 x3 x6 x7 ⟶ TwoRamseyGraph_4_6_35_b x4 x5 x6 x7 ⟶ False

type
prop

theory
HotG

name
-

proof
PUX6n..

Megalodon
-

proofgold address
TMY7t..

creator
20744 Pr4zB../ad881..

owner
20744 Pr4zB../ad881..

term root
cb364..