Definitions for OrendayLaresRockel2026TauFootruleBeta #
Use the pinned copula library for the shared copula representation.
Article-specific constructions and source-correspondence theorems are in
Mixtures.lean; Main.lean is their public entry point. See COVERAGE.md
for normalizations and the scope of each checked statement.