Proofgold Proposition

∀ x0 : ι → ι . ∀ x1 : ι → (ι → ι) → ι → ι . ∀ x2 . ∀ x3 x4 : ι → ι → ι . (∀ x5 . x5 ∈ x2 ⟶ x3 x5 = x4 x5) ⟶ If_ii (prim3 x2 ∈ x2) (x1 (prim3 x2) (x3 (prim3 x2))) x0 = If_ii (prim3 x2 ∈ x2) (x1 (prim3 x2) (x4 (prim3 x2))) x0

type
prop

theory
HotG

name
-

proof
PUZC8..

Megalodon
-

proofgold address
TMM4n..

creator
6992 Pr6Pc../65d08..

owner
6992 Pr6Pc../65d08..

term root
849b5..