Theorem Set.image_sup_prod

Modification history