Search for blocks/addresses/...

Proofgold Proposition

∀ x0 . ∀ x1 : ι → ι → ι . ∀ x2 . ∀ x3 x4 : ι → ι . (∀ x5 . x5x2x3 x5 = x4 x5)If_i (prim3 x2x2) (x1 (prim3 x2) (x3 (prim3 x2))) x0 = If_i (prim3 x2x2) (x1 (prim3 x2) (x4 (prim3 x2))) x0
type
prop
theory
HotG
name
nat_primrec_r
proof
PUfQZ..
Megalodon
nat_primrec_r
proofgold address
TMFCU..nat_primrec_r
creator
4898 Pr6Pc../2a0f2..
owner
4898 Pr6Pc../2a0f2..
term root
c955c..