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

Diff — Logistic function

Revision #2344 → #3480 · back to history

modifiedAnalyticity of standard logistic functionc212b42f922a
FieldFrom #2344To #3480
mathlib.declanalyticAt_sigmoidReal.analyticAt_sigmoid
note`analyticAt_sigmoid` (and `analyticOnNhd_sigmoid` on `Set.univ`) prove sigmoid is real-analytic everywhere.`Real.analyticAt_sigmoid` (and `Real.analyticOnNhd_sigmoid` on `Set.univ`) prove sigmoid is real-analytic everywhere.