Proofgold Proposition

type
prop

theory
HotG

name
TwoRamseyProp_3_4_9

proof
PUUie..

Megalodon
TwoRamseyProp_3_4_9

proofgold address
TMNqn..^{TwoRamseyProp_3_4_9}

creator
19956 Pr4zB../dfcd7..

owner
19957 Pr4zB../d9dca..

term root
d90d6..