SUPPORTjlc
Sections
NuprlLIB
Doc
Def
A ~~ B ==
f:(A
B), g:(B
A). InvFuns(A; B; f; g)
is mentioned
In prior sections:
fun
1
SUPPORTjlc
Sections
NuprlLIB
Doc
f:(A
B), g:(BA). InvFuns(A; B; f; g)