Theorem LowerSet.Iic_prod

Modification history