Proofgold Proposition

1 ∈ 3

type
prop

theory
HotG

name
In_1_3

proof
PUfQZ..

Megalodon
In_1_3

proofgold address
TMZAi..^In_1_3

creator
4898 Pr6Pc../0a72a..

owner
4898 Pr6Pc../0a72a..

term root
85201..