PrintForm Definitions finite sets Sections AutomataTheory Doc

At: one one sym 1 1 1
1. T: Type
2. S: Type
3. f: TS
4. g: ST
5. InvFuns(T; S; f; g)

S ~ T
By: Analyze 5
Generated subgoal:

15. g o f = Id
6. f o g = Id
S ~ T

About:
universefunction