PrintForm
Definitions
choice
1
Sections
AutomataTheory
Doc
At:
min
el
sound
1
1.
E:
2.
n:
3.
EquivRel x,y:
. x E y
n E MinArg(E(n) : {0..n
})
By:
Unfold `infix_ap` 0
Generated subgoal:
1
E(n,MinArg(E(n) : {0..n
}))
About:
E(n,MinArg(E(n) : {0..n
}))
. x E y n E MinArg(E(n) : {0..n}) E(n,MinArg(E(n) : {0..n}))
