Proofgold Proposition

∀ x0 x1 . atleastp (ordsucc x0) x1 ⟶ ∃ x2 . and (x2 ∈ x1) (atleastp x0 (setminus x1 (Sing x2)))

type
prop

theory
HotG

name
-

proof
PUTgE..

Megalodon
-

proofgold address
TMZKp..

creator
34113 Pr4zB../671c2..

owner
34113 Pr4zB../671c2..

term root
5af27..