Sklar's theorem #
exists_sklarCopula gives existence for arbitrary real marginals.
existsUnique_sklarCopula_of_continuous gives full uniqueness for continuous marginals.
IsSklarCopula.cdf_eq_on_ranges gives uniqueness on marginal CDF ranges without continuity.