Proofgold Proposition

3 ∈ 9

type
prop

theory
HotG

name
In_3_9

proof
PUfQZ..

Megalodon
In_3_9

proofgold address
TMP2o..^In_3_9

creator
4898 Pr6Pc../2f8f9..

owner
4898 Pr6Pc../2f8f9..

term root
afa2b..