← Mathematical handbook

A non-TP2 t-EV member

Table 5 marks t-EV density TP2 as no* (numerical). At ν=1, r=0 the t-EV copula has CDF t^((m+n+s)/2) on Pythagorean powers u=t^m, v=t^n (it coincides with the θ=2, α=β=1/2 Tawn copula), and the Tawn rectangle witness applies verbatim.

theorem Papers.AnsariRockel2024.tEV_witness_not_mtp2 : ¬(Verification.tEV 1 0 ⋯ ⋯).HasMTP2Density