Theorem Nat.multichoose_succ_succ

Modification history