Theorem UpperSet.inf_prod

Modification history