Proofgold Proposition

4 ∈ 9

type
prop

theory
HotG

name
In_4_9

proof
PUfQZ..

Megalodon
In_4_9

proofgold address
TMbbY..^In_4_9

creator
4898 Pr6Pc../7627e..

owner
4898 Pr6Pc../7627e..

term root
fdadb..