Asymptotics
📁 Source: PrimeNumberTheoremAnd/Mathlib/Analysis/Asymptotics/Asymptotics.lean
Statistics
| Metric | Count |
|---|---|
| Definitions | 0 |
| 5 | |
| Total | 5 |
Asymptotics
Theorems
| Name | Kind | Assumes | Proves | Validates | Depends On |
|---|---|---|---|---|---|
isLittleO_const_id_atBot2 📖 | — | — | — | — | isLittleO_const_id_cocompact |
isLittleO_const_id_atTop2 📖 | — | — | — | — | isLittleO_const_id_cocompact |
isLittleO_const_id_cocompact 📖 | — | — | — | — | — |
Asymptotics.IsBigO
Theorems
| Name | Kind | Assumes | Proves | Validates | Depends On |
|---|---|---|---|---|---|
natCast 📖 | — | — | — | — | — |
Filter.Eventually
Theorems
| Name | Kind | Assumes | Proves | Validates | Depends On |
|---|---|---|---|---|---|
natCast 📖 | — | — | — | — | — |
---