Proinsulin- specific T regulatory cells may control immune responses in type 1 diabetes: implications for adoptive therapy

The proof is really a transposition of the inverse function theorem for smooth mappings between Euclidean spaces to manifolds using local charts.. In this case, there exist