Skip to content

feat(Analysis/Matrix): add Jacobian matrix for matrix-valued functions - #33786

Open
hdmkindom wants to merge 2 commits into
leanprover-community:masterfrom
hdmkindom:gradient
Open

feat(Analysis/Matrix): add Jacobian matrix for matrix-valued functions#33786
hdmkindom wants to merge 2 commits into
leanprover-community:masterfrom
hdmkindom:gradient

Commits

Commits on May 19, 2026