Proofgold Proposition

∀ x0 . setsum 0 x0 = Inj0 x0

type
prop

theory
HotG

name
Inj0_setsum_0L

proof
PUMB7..

Megalodon
Inj0_setsum_0L

proofgold address
TMbUY..^{Inj0_setsum_0L}

creator
4898 Pr6Pc../e2c82..

owner
4898 Pr6Pc../e2c82..

term root
0be1e..