Proofgold Proposition

type
prop

theory
HotG

name
ZermeloWO_totalorder

proof
PUKtJ..

Megalodon
ZermeloWO_totalorder

proofgold address
TMcqR..^{ZermeloWO_totalorder}

creator
4890 Pr6Pc../1dbca..

owner
4890 Pr6Pc../1dbca..

term root
88ef7..