Proofgold Proposition

∀ x0 x1 . x1 ⊆ prim4 (ordsucc x0) ⟶ (∀ x2 . x2 ∈ x1 ⟶ ∀ x3 . x3 ∈ x1 ⟶ (x2 = x3 ⟶ ∀ x4 : ο . x4) ⟶ ∃ x4 . and (x4 ∈ ordsucc x0) (x4 ∈ x2 = x4 ∈ x3)) ⟶ 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..