← Mathematical handbook

Every nonzero positive diagonal band is asymmetric

theorem Papers.AnsariRockel2026XiRho.sourceBand_not_exchangeable (b : ℝ) (hb : 0 < b) : ¬(sourceBand b hb).IsExchangeable

The support meets the vertical axis above zero but the horizontal axis only at zero.

theorem Papers.AnsariRockel2026XiRho.negativeSourceBand_not_exchangeable (b : ℝ) (hb : 0 < b) : ¬(negativeSourceBand b hb).IsExchangeable

The reflected negative branch is asymmetric as well.