Theorem Nat.half_le_of_sub_le_half

Modification history