Proofgold Proposition

6 ∈ 9

type
prop

theory
HotG

name
In_6_9

proof
PUfQZ..

Megalodon
In_6_9

proofgold address
TMXsY..^In_6_9

creator
4898 Pr6Pc../9984d..

owner
4898 Pr6Pc../9984d..

term root
dc3ff..