Theorem UpperSet.prod_inf

Modification history