Search for blocks/addresses/...

Proofgold Proposition

∀ x0 x1 . ∀ x2 x3 : ι → ο . ordinal x0ordinal x1PNoLt x0 x2 x1 x3SNoLt (PSNo x0 x2) (PSNo x1 x3)
type
prop
theory
HotG
name
PNoLt_SNoLt_PSNo
proof
PUUwp..
Megalodon
PNoLt_SNoLt_PSNo
proofgold address
TMSzf..PNoLt_SNoLt_PSNo
creator
4910 Pr6Pc../e2c04..
owner
4910 Pr6Pc../e2c04..
term root
11b6e..