partial derivatives guide#800

lecopivo wants to merge 3 commits into

leanprover-community:lean4leanprover-community/leanprover-community.github.io:lean4from

lecopivo:partial_derivativeslecopivo/leanprover-community.github.io:partial_derivativesCopy head branch name to clipboard