Shared Mathlib prelude for the extracted asymptotic triangle-packing modules

Common imports for the modules in this package. Individual modules may import additional Mathlib files for their own proofs.