Proofgold Proposition

type
prop

theory
HotG

name
-

proof
PUd6h..

Megalodon
not_TwoRamseyProp_5_6_Power_4

proofgold address
TMFbY..^{not_TwoRamseyProp_5_6_Power_4}

creator
14958 Pr4zB../79f4b..

owner
14959 Pr4zB../cfcf4..

term root
5bd10..