binomial-coefficient public under number 42 List Picture As a command Nothing is filed under binomial-coefficient.