Section 16.2 - Greedy-choice property and optimal substructure (legacy

compatibility path)

Third-edition-numbered compatibility path for the greedy-choice meta-theorems. The canonical fourth-edition source is CLRSLean.FourthEdition.Chapter_15.Section_15_2_Greedy_Meta; this module forwards to it so legacy imports keep working during the compatibility period (see docs/migrations/clrs4.md).