PrintForm Definitions finite sets Sections AutomataTheory Doc

At: rect enumer 1 3 1
1. n:
2. m:

Inj(nm; (nm); z.1of(z)m+2of(z)) & Surj(nm; (nm); z.1of(z)m+2of(z))
By: Analyze 0
Generated subgoals:

1 Inj(nm; (nm); z.1of(z)m+2of(z))
2 Surj(nm; (nm); z.1of(z)m+2of(z))

About:
andproductnatural_numbermultiplylambdaadd