Theorem LineDeriv.tensorLineDerivTwo_eq_lineDerivOp_lineDerivOp

Modification history

2026-01-22 02:22
Mathlib/Analysis/Distribution/DerivNotation.lean
feat(Analysis/Distribution): the Laplacian on Schwartz functions (#33636) …
Added LineDeriv.tensorLineDerivTwo_eq_lineDerivOp_lineDerivOpView on Github →