Theorem tprod_eq_of_multipliable_unconditional

Modification history