Theorem Ring.multichoose_eq_multichoose

Modification history