Level: Lib Thy Top:
Hypotheses:

None

Conclusion:

f: . n:. i:(n + 1). MinAr(f;i;n) (i + 1)

Applied Tactic: UnivCD THENW Auto
Generated subgoals:

1. MinAr(f;i;n) (i + 1)