Theorem inf_mul_sup

Modification history