Search for blocks/addresses/...

Proofgold Proposition

∀ x0 . ∀ x1 : ι → ο . ∀ x2 . prim1 x2 x0x1 x2and (prim1 (prim0 (λ x3 . and (prim1 x3 x0) (x1 x3))) x0) (x1 (prim0 (λ x3 . and (prim1 x3 x0) (x1 x3))))
type
prop
theory
HoTg
name
Eps_i_set_R
proof
PULk4..
Megalodon
-
proofgold address
TMRLa..
creator
2719 PrGxv../be77b..
owner
2719 PrGxv../be77b..
term root
b4f32..