1. CLRS-Lean
  2. Chapter 19. Fibonacci Heaps
  3. 19.1. Fibonacci Heap Model
  4. Legacy Import: Cascading Cuts
Imports
import CLRSLean.Chapter_19.Section_19_3_Decreasing_A_Key_And_Deleting_A_Node

Legacy import: cascading cuts

This compatibility module preserves the former import path. The canonical Section 19.3 implementation now lives in CLRSLean.Chapter_19.Section_19_3_Decreasing_A_Key_And_Deleting_A_Node.