Proofgold Proposition

nIn 2 1

type
prop

theory
HotG

name
nIn_2_1

proof
PUUcH..

Megalodon
nIn_2_1

proofgold address
TMSyt..^nIn_2_1

creator
4892 Pr6Pc../ed5df..

owner
4892 Pr6Pc../ed5df..

term root
d4d95..