Skip to content

Commit 02a5455

Browse files
committed
doc: fix typos in the docstring of Sigmoid (#32700)
Fix three wrong name spaces.
1 parent cdcab72 commit 02a5455

File tree

1 file changed

+3
-3
lines changed

1 file changed

+3
-3
lines changed

Mathlib/Analysis/SpecialFunctions/Sigmoid.lean

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -43,11 +43,11 @@ that the composition of this embedding with the measurable embedding from a stan
4343
4444
### Sigmoid as an `OrderEmbedding` from `ℝ` to `I`
4545
* `OrderEmbedding.sigmoid` : the sigmoid function as an `OrderEmbedding` from `ℝ` to `I`.
46-
* `OrderEmbedding.isEmbedding_sigmoid` : the sigmoid function from `ℝ` to `I` is a topological
46+
* `Topology.isEmbedding_sigmoid` : the sigmoid function from `ℝ` to `I` is a topological
4747
embedding.
48-
* `OrderEmbedding.measurableEmbedding_sigmoid` : the sigmoid function from `ℝ` to `I` is a
48+
* `measurableEmbedding_sigmoid` : the sigmoid function from `ℝ` to `I` is a
4949
measurable embedding.
50-
* `OrderEmbedding.measurableEmbedding_sigmoid_comp_embeddingReal` : the composition of the
50+
* `measurableEmbedding_sigmoid_comp_embeddingReal` : the composition of the
5151
sigmoid function from `ℝ` to `I` with the measurable embedding from a standard Borel
5252
space `α` to `ℝ` is a measurable embedding from `α` to `I`.
5353

0 commit comments

Comments
 (0)