Proofgold Proposition

type
prop

theory
HotG

name
ZermeloWO_ref

proof
PUKtJ..

Megalodon
ZermeloWO_ref

proofgold address
TMUkj..^{ZermeloWO_ref}

creator
4890 Pr6Pc../acbd9..

owner
4890 Pr6Pc../acbd9..

term root
0debc..