PrintForm Definitions finite sets Sections AutomataTheory Doc

At: one one sym 1 1 1 1 1 1 1
1. T: Type
2. S: Type
3. f: TS
4. g: ST
5. g o f = Id
6. f o g = Id

InvFuns(S; T; g; f)
By: Analyze 0
Generated subgoals:

None

About:
universefunctionequal