← Mathematical handbook

Direct graph-law identifications, including parameters outside the boundary regime.

theorem Papers.Rockel2026ExactBlest.familyA_survival (w : ↑unitInterval) : (familyA w).survivalCopula = ((ProbabilityTheory.Copula.comonotonic 2).ordinalSum ProbabilityTheory.Copula.countermonotonic w).reflect {1}

theorem Papers.Rockel2026ExactBlest.familyA_graph_all (w : ↑unitInterval) : ∀ᵐ (x : Fin 2 → ↑unitInterval) ∂(familyA w).survivalCopula.toMeasure, x 1 = graphRank w (x 0)

theorem Papers.Rockel2026ExactBlest.familyA_graph_law_all (w : ↑unitInterval) : (familyA w).survivalCopula.toMeasure = MeasureTheory.Measure.map (fun (u : ↑unitInterval) => ![u, graphRank w u]) MeasureTheory.volume