Search for blocks/addresses/...

Proofgold Proposition

∀ x0 . x0 ∈ u4 ⟶ permargs_i_2_3_0_1_4_5 (nth_6_tuple x0) = nth_6_tuple (247c9.. x0)
type
prop
theory
HotG
name
-
proof
PUfSu..
Megalodon
-
proofgold address
TMNiH..
creator
20353 Pr4zB../b2406..
owner
20353 Pr4zB../b2406..
term root
12a39..