Proofgold Proposition

∀ x0 x1 . x1 ⊆ prim4 (ordsucc x0) ⟶ (∀ x2 . x2 ∈ x1 ⟶ ∀ x3 . x3 ∈ x1 ⟶ (x2 = x3 ⟶ ∀ x4 : ο . x4) ⟶ ∀ x4 : ο . (∀ x5 . and (x5 ∈ ordsucc x0) (x5 ∈ x2 = x5 ∈ x3) ⟶ x4) ⟶ x4) ⟶ atleastp x1 (prim4 x0)

type
prop

theory
HotG

name
-

proof
PUNUU..

Megalodon
-

proofgold address
TMNKo..

creator
14937 Pr4zB../6a1ab..

owner
14937 Pr4zB../6a1ab..

term root
1f3f3..