Proofgold Proposition

type
prop

theory
HotG

name
TransSet_ordsucc

proof
PUL8Q..

Megalodon
TransSet_ordsucc

proofgold address
TMTZp..^{TransSet_ordsucc}

creator
4882 Pr6Pc../5912e..

owner
4882 Pr6Pc../5912e..

term root
fc215..