Proofgold Proposition

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

type
prop

theory
HotG

name
-

proof
PUZC8..

Megalodon
-

proofgold address
TMY9X..

creator
6992 Pr6Pc../0c7cc..

owner
6992 Pr6Pc../0c7cc..

term root
4b8d0..