SpectralCaseIComparisons.lean`

1 declarations, 0 contain sorry, 0 declared as axioms

Both channels have inward comparisons with a common diverging weight floor when angular degree dominates the imaginary spectral parameter.