Module enumerative_combinatorics 

Modules

binomial_coefficient

binomial_coefficient_prime_mod

number_of_increasing_sequences_between_two_sequences

sharp_p_subset_sum