Proofgold Proposition

1 = 2 ⟶ ∀ x0 : ο . x0

type
prop

theory
HotG

name
neq_1_2

proof
PUfQZ..

Megalodon
neq_1_2

proofgold address
TMWMp..^neq_1_2

creator
4898 Pr6Pc../39b5e..

owner
4898 Pr6Pc../39b5e..

term root
1d088..