Proofgold Proposition

∀ x0 . prim0 (ZermeloWO x0) = x0

type
prop

theory
HotG

name
ZermeloWO_Eps

proof
PUKtJ..

Megalodon
ZermeloWO_Eps

proofgold address
TMTxz..^{ZermeloWO_Eps}

creator
4890 Pr6Pc../e1ef2..

owner
4890 Pr6Pc../e1ef2..

term root
967f2..