ML theory entrypoint

Curated umbrella import for TorchLean's ML-theory subsystem (robustness, verification-oriented theory modules, CROWN/Lyapunov infrastructure, etc.).

This file is intentionally thin: NN.MLTheory.API remains the canonical curated surface; this entrypoint provides a stable "one import" path consistent with other subsystems.