Proofgold Proposition

1 ∈ 5

type
prop

theory
HotG

name
In_1_5

proof
PUfQZ..

Megalodon
In_1_5

proofgold address
TMJSv..^In_1_5

creator
4898 Pr6Pc../aa641..

owner
4898 Pr6Pc../aa641..

term root
be96a..