Theorem Filter.prod_iInf_left

Modification history