Who Cites inv funs? | |
inv_funs | Def InvFuns(A; B; f; g) == g o f = Id & f o g = Id |
Thm* ![]() ![]() ![]() ![]() ![]() ![]() | |
tidentity | Def Id == Id |
Thm* ![]() ![]() ![]() ![]() | |
compose | Def (f o g)(x) == f(g(x)) |
Thm* ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | |
identity | Def Id(x) == x |
Thm* ![]() ![]() ![]() ![]() |
Syntax: | InvFuns(A; B; f; g) | has structure: | inv_funs(A; B; f; g) |
About:
![]() | ![]() | ![]() | ![]() | ![]() | ![]() | ![]() | ![]() | ![]() |