Theorem continuous_prod_mk

Modification history