Proofgold Proposition

3 = 4 ⟶ ∀ x0 : ο . x0

type
prop

theory
HotG

name
neq_3_4

proof
PUQvq..

Megalodon
neq_3_4

proofgold address
TMTnk..^neq_3_4

creator
28444 PrQUS../cabef..

owner
28444 PrQUS../cabef..

term root
031ec..