Proofgold Proposition

1 ∈ 9

type
prop

theory
HotG

name
In_1_9

proof
PUfQZ..

Megalodon
In_1_9

proofgold address
TMLQm..^In_1_9

creator
4898 Pr6Pc../569fe..

owner
4898 Pr6Pc../569fe..

term root
59222..