Proofgold Proposition

0 ∈ 6

type
prop

theory
HotG

name
In_0_6

proof
PUfQZ..

Megalodon
In_0_6

proofgold address
TMVHz..^In_0_6

creator
4898 Pr6Pc../be311..

owner
4898 Pr6Pc../be311..

term root
4b341..