Theorem Function.support_prod

Modification history