Search for blocks/addresses/...

Proofgold Proposition

∀ x0 . ∀ x1 : ι → ι → ι . explicit_Group x0 x1∀ x2 . prim1 x2 x0x1 x2 (explicit_Group_identity x0 x1) = x2
type
prop
theory
HoTg
name
explicit_Group_identity_rid
proof
PUK9H..
Megalodon
-
proofgold address
TMUv2..
creator
4803 PrGxv../4b6bb..
owner
4803 PrGxv../4b6bb..
term root
f6f58..