Proofgold Proposition

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

type
prop

theory
HoTg

name
explicit_Nats_transfer

proof
PUUqb..

Megalodon
-

proofgold address
TMEpd..

creator
3760 PrGxv../33253..

owner
3760 PrGxv../33253..

term root
3a371..