Graphs Sections NuprlLIB 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


Graphs Sections NuprlLIB Doc