Proofgold Proposition

not (∀ x0 x1 . ordinal x0 ⟶ ordinal (ordsucc x1) ⟶ or (ordsucc x1 ∈ x0) (x0 = ordsucc x1))

type
prop

theory
HotG

name
-

proof
PUUQg..

Megalodon
-

proofgold address
TMNzm..

creator
33863 PrHS6../386dd..

owner
33863 PrHS6../386dd..

term root
f2824..