Theorem Ring.multichoose_neg_succ

Modification history