Proofgold Proposition

∀ x0 . prim0 (ZermeloWO x0) = x0

type
prop

theory
HoTg

name
ZermeloWO_Eps

proof
PUhdM..

Megalodon
-

proofgold address
TMHm5..

creator
2717 PrGxv../63de8..

owner
2717 PrGxv../63de8..

term root
967f2..