Proofgold Proposition

type
prop

theory
HotG

name
-

proof
PUUKF..

Megalodon
not_TwoRamseyProp_4_5_Power_4

proofgold address
TMK6i..^{not_TwoRamseyProp_4_5_Power_4}

creator
19279 Pr4zB../8d3d3..

owner
19317 Pr4zB../4d1ac..

term root
73633..