Proofgold Proposition

type
prop

theory
HotG

name
TwoRamseyProp_u3_u5_u15

proof
PUbsN..

Megalodon
-

proofgold address
TMQ1i..

creator
19996 Pr4zB../df23e..

owner
19996 Pr4zB../df23e..

term root
13fb7..