2. Asymptotics🔗

We outline some features of Mathlib's support for Landau notation.

Much the API for Landau notation belongs to the following two namespaces which we open here:

1. 2.1. First examples
2. 2.2. General case and further notation
3. 2.3. Unnormed topological vector spaces