Level: Lib Thy Top: 1
Hypotheses:

  1. cf : Conf

  2. n :

Conclusion:

cf[n][0] = cf[n + 0]

Applied Tactic: RWH (LemmaC `nth_zero`) 0 THEN Auto
Generated subgoals:

None