Proofgold Proposition

type
prop

theory
HotG

name
TwoRamseyProp_4_4_18

proof
PULfG..

Megalodon
TwoRamseyProp_4_4_18

proofgold address
TMbeX..^{TwoRamseyProp_4_4_18}

creator
20025 Pr4zB../7b6a9..

owner
20044 Pr4zB../0c299..

term root
b1412..