Proofgold Proposition

1 ∈ 7

type
prop

theory
HotG

name
In_1_7

proof
PUfQZ..

Megalodon
In_1_7

proofgold address
TMTHH..^In_1_7

creator
4898 Pr6Pc../ea8ba..

owner
4898 Pr6Pc../ea8ba..

term root
aa5cd..