When a user with the edit privilege (reputation ≥ 2000) submits an edit, any pending suggested edit on the post is automatically rejected. The rejection is marked as performed by Community.
You proposed your edit at 16:46:21. Davide submitted his edit at 16:46:38. You both edited from the original version of the post, and Davide's submission overrode yours.
The similarity between the edits can be explained in that they are the obvious LaTeXifications of the post — great minds think alike.
There is another case when Community is marked as having rejected a suggested edit: when a reviewer clicks “Improve” and then unticks the checkbox “Suggested edit was helpful”. Such edits mention the review as having edited the post; if that had been the case, there would be a line “Davide Giraudo reviewed this Feb 2 at 16:46: Edit” above the line with “Community …: Reject”. Here's an example of this case.