Proofgold Proposition

3 = 2 ⟶ ∀ x0 : ο . x0

type
prop

theory
HotG

name
neq_3_2

proof
PUUcH..

Megalodon
neq_3_2

proofgold address
TMG3u..^neq_3_2

creator
4892 Pr6Pc../8fa15..

owner
4892 Pr6Pc../8fa15..

term root
90afb..