Proofgold Proposition

type
prop

theory
HotG

name
ordinal_Empty

proof
PUL8Q..

Megalodon
ordinal_Empty

proofgold address
TMcRL..^{ordinal_Empty}

creator
4882 Pr6Pc../a23bd..

owner
4882 Pr6Pc../a23bd..

term root
ce6be..