Proofgold Proposition

0 ∈ 9

type
prop

theory
HotG

name
In_0_9

proof
PUfQZ..

Megalodon
In_0_9

proofgold address
TMPTV..^In_0_9

creator
4898 Pr6Pc../83ac4..

owner
4898 Pr6Pc../83ac4..

term root
f12d8..