Proofgold Proposition

0 ∈ 8

type
prop

theory
HotG

name
In_0_8

proof
PUfQZ..

Megalodon
In_0_8

proofgold address
TMQfd..^In_0_8

creator
4898 Pr6Pc../de7c3..

owner
4898 Pr6Pc../de7c3..

term root
0f583..