Theorem Ring.multichoose_succ_neg_natCast

Modification history