Proofgold Proposition

∀ x0 . ∀ x1 : ι → ι . ∀ x2 . x2 ∈ x0 ⟶ ∀ x3 . tuple_p (x1 x2) x3 ⟶ (∀ x4 . x4 ∈ x1 x2 ⟶ ap x3 x4 ∈ c8f46.. x0 x1) ⟶ lam 2 (λ x4 . If_i (x4 = 0) x2 x3) ∈ c8f46.. x0 x1

type
prop

theory
HotG

name
-

proof
PUbKm..

Megalodon
-

proofgold address
TMWFH..

creator
11610 PrGxv../b9824..

owner
11610 PrGxv../b9824..

term root
f9f7f..