Proofgold Proposition

7 = 6 ⟶ ∀ x0 : ο . x0

type
prop

theory
HotG

name
neq_7_6

proof
PUUcH..

Megalodon
neq_7_6

proofgold address
TMdRv..^neq_7_6

creator
4892 Pr6Pc../01776..

owner
4892 Pr6Pc../01776..

term root
0d1fd..