Search for blocks/addresses/...

Proofgold Proposition

∀ x0 . ∀ x1 : ι → ι . ∀ x2 . x2lam x0 x1setsum (proj0 x2) (proj1 x2) = x2
type
prop
theory
HotG
name
proj_Sigma_eta
proof
PUdQg..
Megalodon
proj_Sigma_eta
proofgold address
TMX4C..proj_Sigma_eta
creator
4899 Pr6Pc../2dae1..
owner
4899 Pr6Pc../2dae1..
term root
8b31c..