Proofgold Proposition

2 = 3 ⟶ ∀ x0 : ο . x0

type
prop

theory
HotG

name
neq_2_3

proof
PUQvq..

Megalodon
neq_2_3

proofgold address
TMH27..^neq_2_3

creator
28444 PrQUS../0d17d..

owner
28444 PrQUS../0d17d..

term root
9a904..