Proofgold Proposition

type
prop

theory
HotG

name
TwoRamseyProp_3_6_18

proof
PUcra..

Megalodon
TwoRamseyProp_3_6_18

proofgold address
TMbJ1..^{TwoRamseyProp_3_6_18}

creator
31062 Pr4zB../61293..

owner
31063 Pr4zB../1dfa3..

term root
81b8e..