Proofgold Proposition

7 ∈ 9

type
prop

theory
HotG

name
In_7_9

proof
PUfQZ..

Megalodon
In_7_9

proofgold address
TMZYe..^In_7_9

creator
4898 Pr6Pc../cd47f..

owner
4898 Pr6Pc../cd47f..

term root
95d3e..