Proofgold Proposition

0 ∈ 1

type
prop

theory
HotG

name
In_0_1

proof
PUL8Q..

Megalodon
In_0_1

proofgold address
TMQTU..^In_0_1

creator
4882 Pr6Pc../56cc6..

owner
4882 Pr6Pc../56cc6..

term root
e984b..