Proofgold Proposition

∀ x0 . x0 ∈ u17 ⟶ 84660.. (u17_to_Church17 x0) ⟶ x0 ∈ u4

type
prop

theory
HotG

name
-

proof
PUZLv..

Megalodon
-

proofgold address
TMQmt..

creator
31367 Pr4zB../f0a27..

owner
31367 Pr4zB../f0a27..

term root
35525..