Search for blocks/addresses/...

Proofgold Proposition

∀ x0 . ordinal x0∀ x1 . prim1 x1 x0TransSet x1
type
prop
theory
HoTg
name
ordinal_In_TransSet
proof
PUUEj..
Megalodon
-
proofgold address
TMKsQ..
creator
2699 PrGxv../c40b0..
owner
2699 PrGxv../c40b0..
term root
f4e77..