PrintForm Definitions finite sets Sections AutomataTheory Doc

At: one2one preserves fin

T,U:Type. (T ~ U) & Fin(T) Fin(U)
By: UnivCD
Generated subgoal:

11. T: Type
2. U: Type
3. (T ~ U) & Fin(T)
Fin(U)

About:
alluniverseimpliesand