Theorems · Theorem · real analysis
Real.tendsto_sigmoid_atBot
Filter.Tendsto Real.sigmoid Filter.atBot (nhds 0)
- Cited by
- 1 results in Mathlib
- Foundations
- Depth 172 from the axioms · uses propext, Classical.choice, Quot.sound
Around this declaration
Dashed lines are statement dependencies; solid lines are citations in proofs.
Cites10
Mathlib declarations this one mentions in its statement or cites explicitly in its proof. Plumbing is filtered out.
- Realstatement · cited by 25,697
- nhdsstatement · cited by 5,554
- Filter.Tendstostatement · cited by 3,814
- Filter.atBotstatement · cited by 512
- tendsto_const_nhdsproof · cited by 330
- Real.sigmoidstatement · cited by 39
- Filter.tendsto_neg_atBot_atTopproof · cited by 22
- Filter.Tendsto.inv_tendsto_atTopproof · cited by 21
- Filter.Tendsto.add_atTopproof · cited by 3
- Real.tendsto_exp_comp_atTopproof · cited by 1
Cited by1
Results whose statement or proof uses this declaration.
- unitInterval.tendsto_sigmoid_atBotproof · cited by 0