Proofgold Proposition

∀ x0 . ∀ x1 : ι → ι → ι . nat_primrec x0 x1 4a7ef.. = x0

type
prop

theory
HoTg

name
-

proof
PUKrN..

Megalodon
-

proofgold address
TMYRi..

creator
2749 PrGxv../81cad..

owner
2749 PrGxv../81cad..

term root
1ee1e..