PrintForm Definitions finite sets Sections AutomataTheory Doc

At: prod fin is fin 1 1

1. T: Type
2. t: T
3. n:
4. f: nT
5. Bij(n; T; f)

n > 0

By: Assert (n = 0)

Generated subgoals:

1 n = 0
26. n = 0
n > 0


About:
natural_numberequalintuniversefunction