← Mathematical handbook

Every positive supporting slope below one has a concrete glued certificate.

theorem Papers.AnsariRockelSteinmassl2026RhoGamma.supporting_slope_covered {t : ℝ} (ht : 0 < t) (ht1 : t < 1) : ∃ (A : ProbabilityTheory.Copula.RankRegion.RhoGamma.AuxiliaryCertificate), A.t = t

The glued certificates cover every nontrivial positive supporting slope.