PrintForm
Definitions
finite
sets
Sections
AutomataTheory
Doc
At:
phole
lemma
n:{1...}, m:{n+1...}, f:(
m
n).
i,j:
m. i < j & f(i) = f(j)
By:
GenUnivCD
Generated subgoal:
1
1.
n:
{1...}
2.
m:
{n+1...}
3.
f:
m
n
i,j:
m. i < j & f(i) = f(j)
About:
m
n
i,j:m. i < j & f(i) = f(j) 
n:{1...}, m:{n+1...}, f:(mn). i,j:m. i < j & f(i) = f(j)mn i,j:m. i < j & f(i) = f(j)
