Extended canonical decomposition compatibility import

The extended canonical decomposition API formerly vendored by this module is now provided by Mathlib. This module retains the original import path for downstream Odlyzko files.