Theorem Nat.choose_le_succ

Modification history