1. CLRS-Lean
  2. Chapter 3. Growth of Functions
  3. 3.1. Asymptotic Notation
Imports
import CLRSLean.FourthEdition.Chapter_03.Section_03_1_Asymptotic_Notation

Section 3.1 - Asymptotic Notation (legacy compatibility path)

Third-edition-numbered compatibility path for the asymptotic-notation section. The canonical fourth-edition source is CLRSLean.FourthEdition.Chapter_03.Section_03_1_Asymptotic_Notation; this module forwards to it so legacy imports keep working during the compatibility period (see docs/migrations/clrs4.md).