Proofgold Proposition

∀ x0 . setsum 0 x0 = Inj0 x0

type
prop

theory
HF

name
-

proof
PUQAi..

Megalodon
Inj0_setsum_0L

proofgold address
TMaDk..^{Inj0_setsum_0L}

creator
1476 PrGxv../ed79a..

owner
1476 PrGxv../ed79a..

term root
b9167..