Theorem HasProdUniformlyOn_sineTerm_prod_on_compact

Modification history