Proofgold Proposition

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

type
prop

theory
HF

name
-

proof
PUh9N..

Megalodon
Repl_Empty

proofgold address
TMV67..^Repl_Empty

creator
1168 PrGxv../030a1..

owner
1168 PrGxv../030a1..

term root
4b35b..