Proofgold Proposition

6 ∈ 7

type
prop

theory
HotG

name
In_6_7

proof
PUfQZ..

Megalodon
In_6_7

proofgold address
TMa39..^In_6_7

creator
4898 Pr6Pc../19dc1..

owner
4898 Pr6Pc../19dc1..

term root
cb4ca..