Theorem Nat.le_half_of_half_lt_sub

Modification history