Proofgold Proposition

type
prop

theory
HotG

name
-

proof
PUUKF..

Megalodon
not_TwoRamseyProp_4_4_Power_4

proofgold address
TMV3L..^{not_TwoRamseyProp_4_4_Power_4}

creator
19279 Pr4zB../6424c..

owner
19317 Pr4zB../c8395..

term root
1accb..