Theorem LowerSet.erase_le

Modification history