Search for blocks/addresses/...

Proofgold Proposition

∀ x0 . ∀ x1 x2 : ι → ι → ι . (∀ x3 . prim1 x3 x0∀ x4 . prim1 x4 x0x1 x3 x4 = x2 x3 x4)explicit_Group x0 x1explicit_Group_identity x0 x1 = explicit_Group_identity x0 x2
type
prop
theory
HoTg
name
explicit_Group_identity_repindep
proof
PUK9H..
Megalodon
-
proofgold address
TMUUG..
creator
4803 PrGxv../bba30..
owner
4803 PrGxv../bba30..
term root
598ff..