Proofgold Proposition

8 = 2 ⟶ ∀ x0 : ο . x0

type
prop

theory
HotG

name
neq_8_2

proof
PUUcH..

Megalodon
neq_8_2

proofgold address
TMKa8..^neq_8_2

creator
4892 Pr6Pc../5cb2a..

owner
4892 Pr6Pc../5cb2a..

term root
9f7e3..