Proofgold Proposition

6 = 2 ⟶ ∀ x0 : ο . x0

type
prop

theory
HotG

name
neq_6_2

proof
PUUcH..

Megalodon
neq_6_2

proofgold address
TMYMR..^neq_6_2

creator
4892 Pr6Pc../a34b5..

owner
4892 Pr6Pc../a34b5..

term root
d5b69..