Proofgold Proposition

type
prop

theory
HotG

name
ZermeloWOstrict_stricttotalorder

proof
PUKtJ..

Megalodon
ZermeloWOstrict_stricttotalorder

proofgold address
TMLeP..^{ZermeloWOstrict_stricttotalorder}

creator
4890 Pr6Pc../e50eb..

owner
4890 Pr6Pc../e50eb..

term root
56f94..