Search for blocks/addresses/...

Proofgold Proposition

∀ x0 . SNo x0SNoLev (SNo_extend0 x0) = ordsucc (SNoLev x0)
type
prop
theory
HotG
name
SNo_extend0_SNoLev
proof
PUUwp..
Megalodon
SNo_extend0_SNoLev
proofgold address
TMFDX..SNo_extend0_SNoLev
creator
4910 Pr6Pc../fbb92..
owner
4910 Pr6Pc../fbb92..
term root
26efc..