Proofgold Proposition

nIn 2 0

type
prop

theory
HotG

name
nIn_2_0

proof
PUfQZ..

Megalodon
nIn_2_0

proofgold address
TMZ7o..^nIn_2_0

creator
4898 Pr6Pc../e1040..

owner
4898 Pr6Pc../e1040..

term root
135df..