Proofgold Proposition

type
prop

theory
HotG

name
nSubq_2_1

proof
PUfQZ..

Megalodon
nSubq_2_1

proofgold address
TMdVb..^nSubq_2_1

creator
4898 Pr6Pc../749dd..

owner
4898 Pr6Pc../749dd..

term root
63bae..