Proofgold Proposition

type
prop

theory
HotG

name
ZermeloWOstrict_trich

proof
PUKtJ..

Megalodon
ZermeloWOstrict_trich

proofgold address
TMJCG..^{ZermeloWOstrict_trich}

creator
4890 Pr6Pc../f5a2d..

owner
4890 Pr6Pc../f5a2d..

term root
157b4..