Proofgold Proposition

7 = 5 ⟶ ∀ x0 : ο . x0

type
prop

theory
HotG

name
neq_7_5

proof
PUUcH..

Megalodon
neq_7_5

proofgold address
TMNyR..^neq_7_5

creator
4892 Pr6Pc../ff8c9..

owner
4892 Pr6Pc../ff8c9..

term root
0d6c1..