Theorem Nat.multichoose_two

Modification history