Proofgold Proposition

∀ x0 . setsum 1 x0 = Inj1 x0

type
prop

theory
HF

name
-

proof
PUaiy..

Megalodon
Inj1_setsum_1L

proofgold address
TMGE1..^{Inj1_setsum_1L}

creator
1504 PrGxv../717e0..

owner
1504 PrGxv../717e0..

term root
8438e..