Proofgold Proposition

type
prop

theory
HotG

name
ZermeloWO_partialorder

proof
PUKtJ..

Megalodon
ZermeloWO_partialorder

proofgold address
TMPx6..^{ZermeloWO_partialorder}

creator
4890 Pr6Pc../bc27d..

owner
4890 Pr6Pc../bc27d..

term root
0656f..