QiuQiu

练习

微积分

一阶展开、方向导数、下降方向,以及它们在 Mathlib 里的名字。