Proofgold Proposition

∀ x0 x1 . atleastp (ordsucc x0) x1 ⟶ ∀ x2 : ο . (∀ x3 . and (x3 ∈ x1) (atleastp x0 (setminus x1 (Sing x3))) ⟶ x2) ⟶ x2

type
prop

theory
HotG

name
-

proof
PUTgE..

Megalodon
-

proofgold address
TMZKp..

creator
34113 Pr4zB../671c2..

owner
34113 Pr4zB../671c2..

term root
5af27..