[Date Prev][Date Next] [Chronological] [Thread] [Top]

SCMFSA_9


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