Proofgold Proposition

∀ x0 : ο . propToBool x0 ∈ 2

type
prop

theory
HotG

name
-

proof
PUha4..

Megalodon
-

proofgold address
TMUZP..

creator
4903 Pr6Pc../38015..

owner
4903 Pr6Pc../38015..

term root
4df00..