Search for blocks/addresses/...

Proofgold Proposition

∀ x0 x1 . ordinal x0ordinal x1or (x0x1) (x1x0)
type
prop
theory
HotG
name
ordinal_In_Or_Subq
proof
PUL8Q..
Megalodon
ordinal_In_Or_Subq
proofgold address
TMUy7..ordinal_In_Or_Subq
creator
4882 Pr6Pc../70351..
owner
4882 Pr6Pc../70351..
term root
70fe0..