Diff — Curl (mathematics)

Revision #1978 → #2409 · back to history

modifiedCurl (informal)28c059018c21

Field	From #1978	To #2409
note	Mathlib has no curl operator on vector fields; only the more general exterior derivative `extDeriv` is defined.	A grep over `Mathlib/` finds no curl operator on vector fields; only the more general exterior derivative `extDeriv` is defined.

addedVorticity of a flow9ef811caa9bf

addedBiot–Savart law (inverse curl)410aa009bcf4

addedSpecial orthogonal Lie algebra so(n)66edd72e0328

addedCurl as a chiral operation8415789bee65

addedSequence of k-form spaces (de Rham complex on R^n)c3f31a5a0022