Proofgold Proposition

8 = 5 ⟶ ∀ x0 : ο . x0

type
prop

theory
HotG

name
neq_8_5

proof
PUUcH..

Megalodon
neq_8_5

proofgold address
TMK22..^neq_8_5

creator
4892 Pr6Pc../d5228..

owner
4892 Pr6Pc../d5228..

term root
3582f..