Proofgold Proposition

nIn 1 1

type
prop

theory
HotG

name
nIn_1_1

proof
PUfQZ..

Megalodon
nIn_1_1

proofgold address
TMUrd..^nIn_1_1

creator
4898 Pr6Pc../191cf..

owner
4898 Pr6Pc../191cf..

term root
e668f..