PrintForm Definitions choice 1 Sections AutomataTheory Doc

At: min ar wf

f:(), n:, i:(n+1). MinAr(f;i;n) (i+1)
By: UnivCD
Generated subgoal:

11. f:
2. n:
3. i: (n+1)
MinAr(f;i;n) (i+1)

About:
allfunctionboolnatural_numberaddmember