Theorem UpperSet.sup_prod

Modification history