Level: Lib Thy Top:
Hypotheses:

None

Conclusion:

cf:Conf. k,n:. cf[n][k] = cf[n + k]

Applied Tactic: D 0 THENM D 0 THENM NatInd 2 THENM UnivCD THENA Auto
Generated subgoals:

1. cf[n][0] = cf[n + 0]

2. cf[n][k] = cf[n + k]