Theorem FloorSemiring.tendsto_mul_pow_div_factorial_sub_atTop

Modification history

2024-10-05 17:20
Mathlib/Topology/Algebra/Order/Floor.lean
feat: `FloorSemiring.tendsto_pow_div_factorial` (#17119) …
Added FloorSemiring.tendsto_mul_pow_div_factorial_sub_atTopView on Github →