Proofgold Proposition

5 ∈ 9

type
prop

theory
HotG

name
In_5_9

proof
PUfQZ..

Megalodon
In_5_9

proofgold address
TMWDN..^In_5_9

creator
4898 Pr6Pc../4fb11..

owner
4898 Pr6Pc../4fb11..

term root
318ef..