Complete Lemma 1.3.9 TFAE proof and refactorings#425

Merged

teorth merged 8 commits intoteorth:mainfrom

aodecipher:main

Jan 1, 2026

Commits on Dec 30, 2025

Complete ix_imp_x proof and add structure for v_to_xi_imp_iv
aodecipher
committed
Refactor to use LebesgueMeasurable and complete v_to_xi_imp_iv structure
aodecipher
committed
Complete iii_imp_v proof (limsup representation for measurability)
aodecipher
committed