Search for blocks/addresses/...

Proofgold Proposition

∀ x0 x1 . ordinal x0x1x0or (ordsucc x1x0) (x0 = ordsucc x1)
type
prop
theory
HotG
name
ordinal_ordsucc_In_eq
proof
PUL8Q..
Megalodon
ordinal_ordsucc_In_eq
proofgold address
TMVF2..ordinal_ordsucc_In_eq
creator
4882 Pr6Pc../42bab..
owner
4882 Pr6Pc../42bab..
term root
50037..