Most of your post is correct. But while Leibniz had a superior notation to Newton’s, it’s quite historically clear that he did not simultaneously develop anything. Europeans advanced that myth, because they resented an Anglo physicist getting the credit. Newton showed Leibniz some of his work, he did not independently develop calculus. He stole it and took credit because Newton did not publish the work until years later.
I’ll defer to your knowledge of that history.