Theorem LowerSet.prod_inf

Modification history