Re: SCMFSA_9

[jing-chao chen <chen-jc@cs.sjtu.edu.cn>]

Piotr Rudnicki wrote:
> 
> This message is actually to Prof. Chen:
> 
> In SCMFSA_9 you a have a dozen of lemmas named Lemma0 through Lemma11
> that you have not marked theorem and they are not accessible from outside
> of your article.  It makes little sense for me to copy the lemmas to the
> article that I am now writing, so we would like to get your permission
> to revise SCMFSA_9 such that the lemmas will be made theorems.
> What do you think?
> 
> Piotr Rudnicki

I agree to revise SCMFSA_9 such that a dozen of lemmas named Lemma0
through Lemmall will be made theorems.
Jingchao Chen