Proofgold Proposition

∀ x0 : (ι → ι) → ο . f8922.. x0 ⟶ ∀ x1 . fa4ab.. x0 (λ x3 : ι → ι . x3 x1) = fa4ab.. x0 (λ x3 : ι → ι . x3 (fa4ab.. x0 (λ x4 : ι → ι . x4 x1)))

type
prop

theory
HoTg

name
-

proof
PUdeW..

Megalodon
-

proofgold address
TMaZ9..

creator
1652 PrGxv../cb02b..

owner
1652 PrGxv../cb02b..

term root
410ce..