Proofgold Proposition

2 = 4 ⟶ ∀ x0 : ο . x0

type
prop

theory
HotG

name
neq_2_4

proof
PUQvq..

Megalodon
neq_2_4

proofgold address
TMbcY..^neq_2_4

creator
28444 PrQUS../b6cda..

owner
28444 PrQUS../b6cda..

term root
0bb64..