Proofgold Proposition

9 = 8 ⟶ ∀ x0 : ο . x0

type
prop

theory
HotG

name
neq_9_8

proof
PUUcH..

Megalodon
neq_9_8

proofgold address
TMXoT..^neq_9_8

creator
4892 Pr6Pc../49d40..

owner
4892 Pr6Pc../49d40..

term root
552ee..