Proofgold Proposition

∀ x0 : ι → ι . prim5 0 x0 = 0

type
prop

theory
HotG

name
Repl_Empty

proof
PUL8Q..

Megalodon
Repl_Empty

proofgold address
TMdRu..^Repl_Empty

creator
4882 Pr6Pc../deec5..

owner
4882 Pr6Pc../deec5..

term root
2af2a..