Theorem Nat.le_and_le_add_one_iff

Modification history