FiniteCenteredAngleKernel.lean`

1 declarations, 0 contain sorry, 0 declared as axioms

Actual finite-centered angle transitions at a finite stopped radius state. This identifies the transition before applying any mixing bound.