Theorem LowerSet.top_prod_top

Modification history