Theorem LowerSet.coe_Iic

Modification history