Proofgold Proposition

∀ x0 : ι → ο . Sep 0 x0 = 0

type
prop

theory
HotG

name
Sep_Empty

proof
PUewm..

Megalodon
Sep_Empty

proofgold address
TMZXH..^Sep_Empty

creator
27779 PrQUS../aa63d..

owner
27779 PrQUS../aa63d..

term root
f3694..