Proofgold Proposition

7 ∈ 8

type
prop

theory
HotG

name
In_7_8

proof
PUfQZ..

Megalodon
In_7_8

proofgold address
TMGFU..^In_7_8

creator
4898 Pr6Pc../3439c..

owner
4898 Pr6Pc../3439c..

term root
126ee..