Proofgold Proposition

type
prop

theory
HotG

name
ZermeloWO_tra

proof
PUKtJ..

Megalodon
ZermeloWO_tra

proofgold address
TMSyN..^{ZermeloWO_tra}

creator
4890 Pr6Pc../2da85..

owner
4890 Pr6Pc../2da85..

term root
9206e..