Proofgold Proposition

3 ∈ 7

type
prop

theory
HotG

name
In_3_7

proof
PUfQZ..

Megalodon
In_3_7

proofgold address
TMPbK..^In_3_7

creator
4898 Pr6Pc../ec835..

owner
4898 Pr6Pc../ec835..

term root
e6779..