Proofgold Proposition

0 ∈ 4

type
prop

theory
HotG

name
In_0_4

proof
PUfQZ..

Megalodon
In_0_4

proofgold address
TMG6u..^In_0_4

creator
4898 Pr6Pc../ffd0a..

owner
4898 Pr6Pc../ffd0a..

term root
0a266..