Proofgold Proposition

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

type
prop

theory
HotG

name
-

proof
PUUxZ..

Megalodon
-

proofgold address
TMNHV..

creator
8219 Pr6Pc../49cab..

owner
8219 Pr6Pc../49cab..

term root
28d24..