Proofgold Proposition

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

type
prop

theory
HotG

name
-

proof
PUPUe..

Megalodon
-

proofgold address
TMWkG..

creator
40611 Pr6gx../9e757..

owner
40611 Pr6gx../9e757..

term root
c1d11..