Proofgold Proposition

∀ x0 : ι → ι . ∀ x1 . a5931.. (λ x3 : ι → ι . λ x4 . x3 x1) (λ x3 : ι → ι . λ x4 . x3 x1) = a5931.. (λ x3 : ι → ι . λ x4 . x3 x1) (λ x3 : ι → ι . λ x4 . x3 x1)

type
prop

theory
HotG

name
-

proof
PUa9Z..

Megalodon
-

proofgold address
TMXib..

creator
39200 PrCmT../33747..

owner
39200 PrCmT../33747..

term root
b52b9..