Proofgold Proposition

∀ x0 : ι → ι . ∀ x1 . Repl (Sing x1) x0 = Sing (x0 x1)

type
prop

theory
HF

name
-

proof
PUZ3G..

Megalodon
Repl_Sing

proofgold address
TMLDH..^Repl_Sing

creator
1339 PrGxv../0238c..

owner
1339 PrGxv../0238c..

term root
5087c..