Theorem LowerSet.prod_sup

Modification history