Proofgold Proposition

type
prop

theory
HotG

name
nSubq_1_0

proof
PUfQZ..

Megalodon
nSubq_1_0

proofgold address
TMJfL..^nSubq_1_0

creator
4898 Pr6Pc../89241..

owner
4898 Pr6Pc../89241..

term root
cd48c..