Recurrence Relation for Fibonomial Coefficients

Theorem

 * $\dbinom n k_\mathcal F = F_{k - 1} \dbinom {n - 1} k_\mathcal F + F_{n - k + 1} \dbinom {n - 1} {k - 1}_\mathcal F$

where:
 * $\dbinom n k_\mathcal F$ denotes a Fibonomial coefficient
 * $F_{k - 1}$ etc. denote Fibonacci numbers.