Proofgold Proposition

0 ∈ 3

type
prop

theory
HotG

name
In_0_3

proof
PUfQZ..

Megalodon
In_0_3

proofgold address
TMU4C..^In_0_3

creator
4898 Pr6Pc../aed45..

owner
4898 Pr6Pc../aed45..

term root
5d5d5..