Proofgold Proposition

1 = 3 ⟶ ∀ x0 : ο . x0

type
prop

theory
HotG

name
neq_1_3

proof
PUQvq..

Megalodon
neq_1_3

proofgold address
TMMdm..^neq_1_3

creator
28444 PrQUS../9e14a..

owner
28444 PrQUS../9e14a..

term root
d3b29..