WikiLean Articles · Brain · Recent changes · Proposals · Flags · Stats · About

Diff — Kronecker delta

Revision #3026 → #4048 · back to history

modifiedDirac delta functione8518a76c68c
FieldFrom #3026To #4048
mathlib.moduleMathlib.MeasureTheory.Measure.DiracMathlib.MeasureTheory.Measure.Dirac.Def
modifiedProbability density function via Dirac deltabf3d815bedf3
FieldFrom #3026To #4048
mathlib.moduleMathlib.MeasureTheory.Measure.DiracMathlib.MeasureTheory.Measure.Dirac.Def