Coarse-graining support: Support.Book.Ch03.Theorems.CoarseCaccioppoli

Imported from the Apache-2.0 CoarseGraining development at commit c7ddd76c08ade64fed1b8d2ca51be14dfee8deb4.

Public coarse Caccioppoli theorem

This is the canonical public module for the homogeneous coarse Caccioppoli theorem. It re-exports the final apex theorem proved in CoarseCaccioppoliDilationTransport, while keeping the public import path stable for downstream note-facing consumers.