ega
ega copied to clipboard
ryankeleti
0.11.5
I don't mean this in a rude way, but have you been using machine translation (google translate or something) for any of this? Just the first three sentences alone don't make much sense. I'm really happy that you're contributing, and even just typing out the LaTeX for the mathematical parts is such a great help! But before I merge this I would have to go through and edit it quite heavily.
(There are also some maths words that look like false friends or have a different order of adjectives in English, like "inductive limit filtrants" → "filtrant inductive limits", and "inf limit complexes" → "bounded-below complexes").
I must admit I am still learning all of these including French and mathematics. Indeed I use google translation for the reference. I hope it wouldn’t be too difficult to edit it. I will pause here and study more.
"inductive limit filtrants" → "filtrant inductive limits", and "inf limit complexes" → "bounded-below complexes").
btw, I think filtered is more commonly used in this context, see e.g. https://ncatlab.org/nlab/show/filtered+limit or https://stacks.math.columbia.edu/tag/04AX
