Proofgold Proposition

2 ∈ 6

type
prop

theory
HotG

name
In_2_6

proof
PUfQZ..

Megalodon
In_2_6

proofgold address
TMGRe..^In_2_6

creator
4898 Pr6Pc../5b313..

owner
4898 Pr6Pc../5b313..

term root
a8317..