Theorem upperClosure_prod

Modification history