Not signed in (Sign In)

Vanilla 1.1.9 is a product of Lussumo. More Information: Documentation, Community Support.

    • CommentAuthorYemon Choi
    • CommentTimeDec 12th 2012

    This question doesn't seem obviously off-topic or "infra dig" to me...


    I'm not sure if this is just a language problem (although I did have to look up "infra dig").

    The first version had a "Prove that" command in place of what is now a question. Also, the "We can provide details to the interested reader" part seems rather strange coming from an individual.

    • CommentAuthorWill Jagy
    • CommentTimeDec 12th 2012
    Looking at his web page, he uses we sometimes, as though everything is a preprint. And he has about 110 papers and preprints. So I think this is the manuscript we. I'm not sure, I couldn't pair a preprint with this question. There is probably quite a lot of motivational material available, it should just be with the question posted.