Proofgold Proposition

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

type
prop

theory
HotG

name
Repl_Sing

proof
PUL8Q..

Megalodon
Repl_Sing

proofgold address
TMV9H..^Repl_Sing

creator
4882 Pr6Pc../ab8cf..

owner
4882 Pr6Pc../ab8cf..

term root
1b6f0..