Proofgold Proposition

∀ x0 x1 . x1 ∈ x0 ⟶ ∀ x2 x3 : ι → ι . (∀ x4 . x4 ∈ x0 ⟶ x2 x4 ∈ x0) ⟶ ∀ x4 : ι → ι . (∀ x5 . x5 ∈ x0 ⟶ x4 (x2 x5) = x3 (x4 x5)) ⟶ ∀ x5 . nat_p x5 ⟶ x4 (1319b.. x5 x2 x1) = 1319b.. x5 x3 (x4 x1)

type
prop

theory
HotG

name
-

proof
PUStC..

Megalodon
-

proofgold address
TMTJm..

creator
35044 PrHS6../87f06..

owner
35044 PrHS6../87f06..

term root
18083..