Proofgold Proposition

type
prop

theory
HotG

name
nSubq_2_0

proof
PUfQZ..

Megalodon
nSubq_2_0

proofgold address
TMc22..^nSubq_2_0

creator
4898 Pr6Pc../5c650..

owner
4898 Pr6Pc../5c650..

term root
5810f..