Level: Lib Thy Top:
Hypotheses:

None

Conclusion:

cf:Conf. n:. cf[n + 1] = cf[n]

Applied Tactic: UnivCD THENM RecCaseSplit `nth` THEN Auto
Generated subgoals:

None