graph 1 2 Sections Graphs Doc

Def InvFuns(A; B; f; g) == g o f = Id & f o g = Id

is mentioned

In prior sections: fun 1 graph 1 1

Try larger context: Graphs

graph 1 2 Sections Graphs Doc