Proofgold Proposition

nIn 1 0

type
prop

theory
HotG

name
nIn_1_0

proof
PUfQZ..

Megalodon
nIn_1_0

proofgold address
TMdqj..^nIn_1_0

creator
4898 Pr6Pc../d77c9..

owner
4898 Pr6Pc../d77c9..

term root
b1976..