Proofgold Proposition

type
prop

theory
HotG

name
ZermeloWO_antisym

proof
PUKtJ..

Megalodon
ZermeloWO_antisym

proofgold address
TMdx1..^{ZermeloWO_antisym}

creator
4890 Pr6Pc../8c90b..

owner
4890 Pr6Pc../8c90b..

term root
db152..