Proofgold Proposition

type
prop

theory
HotG

name
ZermeloWO_lin

proof
PUKtJ..

Megalodon
ZermeloWO_lin

proofgold address
TMMBk..^{ZermeloWO_lin}

creator
4890 Pr6Pc../e450d..

owner
4890 Pr6Pc../e450d..

term root
79880..