Proofgold Proposition

∀ x0 . nat_p x0 ⟶ 1 ∈ x0 ⟶ ∀ x1 . (x0 = x1 ⟶ ∀ x2 : ο . x2) ⟶ ∀ x2 x3 x4 . SNo x3 ⟶ x4 ∈ x3 ⟶ SetAdjoin x2 (Sing x0) = SetAdjoin x4 (Sing x1) ⟶ ∀ x5 : ο . x5

type
prop

theory
HotG

name
-

proof
PUhtR..

Megalodon
-

proofgold address
TMGhr..

creator
28142 PrQUS../fbf9c..

owner
28142 PrQUS../fbf9c..

term root
62870..