← Mathematical handbook

theorem Papers.AnsariRockel2024.bb5_shape_one (δ : ℝ) (hδ : 0 < δ) : Verification.bb5 1 δ ⋯ hδ = Verification.galambos δ hδ