← Mathematical handbook

Identifiability of the normalized quadratic slope

theorem Verification.quadraticBand_injective (b d : ℝ) (hb : 0 ≤ b) (hd : 0 ≤ d) (he : quadraticBand b hb = quadraticBand d hd) : b = d