Theorem measurable_tProd_elim

Modification history