Proofgold Proposition

type
prop

theory
HotG

name
TwoRamseyProp_4_8_141

proof
PUZeu..

Megalodon
-

proofgold address
TMUvr..

creator
15602 Pr4zB../f3332..

owner
15602 Pr4zB../f3332..

term root
18558..