Documentation
Copula
.
Rank
.
Region
.
XiBlest
.
Support
.
QuadraticBandInjective
Search
return to top
source
Imports
Init
Copula.Rank.Region.XiBlest.Support.QuadraticMeanInverse
Imported by
ProbabilityTheory
.
Copula
.
RankRegion
.
XiBlest
.
Support
.
quadraticBand_injective
← Copula mathematical handbook
Identifiability of the normalized quadratic slope
#
source
theorem
ProbabilityTheory
.
Copula
.
RankRegion
.
XiBlest
.
Support
.
quadraticBand_injective
(
b
d
:
ℝ
)
(
hb
:
0
≤
b
)
(
hd
:
0
≤
d
)
(
he
:
quadraticBand
b
hb
=
quadraticBand
d
hd
)
:
b
=
d