Skip to content

partial derivatives guide - #800

Open
lecopivo wants to merge 3 commits into
leanprover-community:lean4from
lecopivo:partial_derivatives
Open

partial derivatives guide#800
lecopivo wants to merge 3 commits into
leanprover-community:lean4from
lecopivo:partial_derivatives

Update templates/theories/partial_derivatives.md

f7dbd7a
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs