Proofgold Proposition

∀ x0 . ∀ x1 : ι → ι → ι → ι → ι → ι → ι . (∀ x2 x3 x4 x5 x6 x7 . nth_6_tuple x0 x2 x3 x4 x5 x6 x7 = x1 x2 x3 x4 x5 x6 x7) ⟶ nth_6_tuple x0 = x1

type
prop

theory
HotG

name
-

proof
PULrD..

Megalodon
-

proofgold address
TMb6f..

creator
19222 Pr4zB../07de6..

owner
19222 Pr4zB../07de6..

term root
9b7e0..