Proofgold Proposition

1 ∈ 2

type
prop

theory
HotG

name
In_1_2

proof
PUL8Q..

Megalodon
In_1_2

proofgold address
TMPAk..^In_1_2

creator
4882 Pr6Pc../f0441..

owner
4882 Pr6Pc../f0441..

term root
8704b..