Theorem upperClosure_mul_distrib

Modification history