Theorem LowerSet.prod_eq_bot

Modification history