/-
Copyright (c) 2026 Michael R. Douglas. All rights reserved.
Released under Apache 2.0 license.
-/

import HilleYosida.BCR_Common
import HilleYosida.BCR_Existence
import HilleYosida.BCR_Uniqueness

/-! # BCR Theorem 4.1.13 — aggregator

Re-exports the three component files: shared toolkit, existence, and uniqueness. -/