Theorem LowerSet.prod_le_prod_iff

Modification history