Theorem UpperSet.prod_le_prod_iff

Modification history