Explicit Mathlib dependencies for the Kasami development

The source project used import Mathlib for convenience. Lean Pool keeps the dependency surface explicit so that the entry point does not pull in the whole Mathlib umbrella.