Search for blocks/addresses/...

Proofgold Proposition

∀ x0 : ο . ∀ x1 x2 : (ι → ο) → ο . x0If_Vo2 x0 x1 x2 = x1
type
prop
theory
HotG
name
If_Vo2_1
proof
PUVNt..
Megalodon
If_Vo2_1
proofgold address
TMYAJ..If_Vo2_1
creator
4897 Pr6Pc../b5394..
owner
4897 Pr6Pc../b5394..
term root
0f655..