Proofgold Proposition

7 = 2 ⟶ ∀ x0 : ο . x0

type
prop

theory
HotG

name
neq_7_2

proof
PUUcH..

Megalodon
neq_7_2

proofgold address
TMFfM..^neq_7_2

creator
4892 Pr6Pc../3c953..

owner
4892 Pr6Pc../3c953..

term root
e915b..