PrintForm Definitions finite sets Sections AutomataTheory Doc

At: nsub is finite 1 1 1 1 1 1 1
1. n:

a1,a2:n. a1 = a2 a1 = a2
By: UnivCD
Generated subgoals:

None

About:
allnatural_numberimpliesequal