← Mathematical handbook

theorem Verification.stableTailCopula_isExtremeValue (L : StableTail) : (stableTailCopula L).IsExtremeValue

theorem Verification.stableTailCopula_isCI (L : StableTail) : (stableTailCopula L).IsCI

theorem Verification.stableTailCopula_pickands (L : StableTail) (t : ↑unitInterval) : copulaPickands (stableTailCopula L) t = L.value (1 - ↑t) ↑t