Proofgold Proposition

0 ∈ 2

type
prop

theory
HotG

name
In_0_2

proof
PUL8Q..

Megalodon
In_0_2

proofgold address
TMVCc..^In_0_2

creator
4882 Pr6Pc../99eac..

owner
4882 Pr6Pc../99eac..

term root
56dc2..