Theorem Nat.multichoose_zero_succ

Modification history