Proofgold Proposition

∀ x0 : (ι → ι) → ι → ι . ChurchNum_p x0 ⟶ ChurchNum_p (λ x1 : ι → ι . λ x2 . x1 (x0 x1 x2))

type
prop

theory
HotG

name
-

proof
PUSRF..

Megalodon
-

proofgold address
TMPQa..

creator
18726 Pr4zB../1524d..

owner
18726 Pr4zB../1524d..

term root
f8517..