Theorem NE.lt_of_le

Modification history