Theorem supClosure_prod

Modification history