Search for blocks/addresses/...

Proofgold Proposition

∀ x0 . ∀ x1 : ι → ι . ∀ x2 x3 . setsum x2 x3lam x0 x1x2x0
type
prop
theory
HotG
name
pair_Sigma_E0
proof
PUdQg..
Megalodon
pair_Sigma_E0
proofgold address
TMRJQ..pair_Sigma_E0
creator
4899 Pr6Pc../d8eee..
owner
4899 Pr6Pc../d8eee..
term root
c4b41..