Proofgold Proposition

0 ∈ 7

type
prop

theory
HotG

name
In_0_7

proof
PUfQZ..

Megalodon
In_0_7

proofgold address
TMUvT..^In_0_7

creator
4898 Pr6Pc../9ba2e..

owner
4898 Pr6Pc../9ba2e..

term root
a41b2..