Theorem Nat.le_of_le_of_sub_le_sub_right

Modification history