Proofgold Proposition

1 = 0 ⟶ ∀ x0 : ο . x0

type
prop

theory
HotG

name
neq_1_0

proof
PUUcH..

Megalodon
neq_1_0

proofgold address
TMVVg..^neq_1_0

creator
4892 Pr6Pc../b67f3..

owner
4892 Pr6Pc../b67f3..

term root
3a047..