Theorem Nat.choose_succ_self_right

Modification history