Search for blocks/addresses/...

Proofgold Proposition

∀ x0 : ι → (ι → ι → ι)ι → ι . ∀ x1 . ∀ x2 : ι → ι . In_rec_G_ii x0 x1 x2∀ x3 : ο . (∀ x4 : ι → ι → ι . and (∀ x5 . x5x1In_rec_G_ii x0 x5 (x4 x5)) (x2 = x0 x1 x4)x3)x3
type
prop
theory
HotG
name
In_rec_G_ii_inv
proof
PUVNt..
Megalodon
In_rec_G_ii_inv
proofgold address
TMM7U..In_rec_G_ii_inv
creator
4897 Pr6Pc../81157..
owner
4897 Pr6Pc../81157..
term root
336cf..