Commit 2025-09-30 12:55 b34acd39

feat(Analysis/SpecialFunctions): add the sigmoid function (#28780) Add the Sigmoid from ℝ to ℝ and from ℝ to I and show some analytical properties. Then, add sigmoid_ord_embedding, the Sigmoid function seen as an OrderEmbedding from ℝ to I. Show that it is a MeasurableEmbedding and that we could use it to construct a MeasurableEmbedding from any StandardBorelSpace to I.