Theorem LowerSet.coe_iSup

Modification history