Proofgold Proposition

∀ x0 x1 x2 x3 . TwoRamseyGraph_4_6_35_b x0 x1 x2 x3 ⟶ TwoRamseyGraph_4_6_35_b x2 x3 x0 x1

type
prop

theory
HotG

name
-

proof
PUPxv..

Megalodon
-

proofgold address
TMNTr..

creator
20289 Pr4zB../c9b0a..

owner
20289 Pr4zB../c9b0a..

term root
aeea2..