The rational function of the divisor count of a pattern `m`: a product over rows `i` of generalized binomial coefficients in `availablePoints ε (i+1)`.

Initializing...

The rational function of the divisor count of a pattern `m`: a product over rows `i` of generalized binomial coefficients in `availablePoints ε (i+1)`. · Prove2Me