Proofgold Proposition

∀ x0 . x0 ∈ int_alt1 ⟶ ∀ x1 : ο . (x0 = 0 ⟶ x1) ⟶ (x0 ∈ setminus omega 1 ⟶ x1) ⟶ (∀ x2 . x2 ∈ setminus omega 1 ⟶ x0 = minus_SNo x2 ⟶ x1) ⟶ x1

type
prop

theory
HotG

name
-

proof
PUUxZ..

Megalodon
-

proofgold address
TMYL3..

creator
8219 Pr6Pc../3ae4e..

owner
8219 Pr6Pc../3ae4e..

term root
225f9..