Proofgold Proposition

type
prop

theory
HoTg

name
ZermeloWO_ref

proof
PUhdM..

Megalodon
-

proofgold address
TMdYn..

creator
2717 PrGxv../e5d24..

owner
2717 PrGxv../e5d24..

term root
0debc..