Proofgold Proposition

type
prop

theory
HotG

name
TwoRamseyProp_3_7_32

proof
PUYJ5..

Megalodon
-

proofgold address
TMcDi..

creator
15489 Pr4zB../ad987..

owner
15489 Pr4zB../ad987..

term root
b200e..