Proofgold Proposition

∀ x0 . nat_p x0 ⟶ 1 ∈ x0 ⟶ ∀ x1 x2 . 68498.. x0 x1 ⟶ SNo x2 ⟶ 68498.. (ordsucc x0) (binunion x1 {SetAdjoin x3 (Sing x0)|x3 ∈ x2})

type
prop

theory
HotG

name
-

proof
PUhtR..

Megalodon
-

proofgold address
TMYid..

creator
28142 PrQUS../f6a06..

owner
28142 PrQUS../f6a06..

term root
ddfc8..