generated from smyalygames/quartz
5 lines
122 B
Markdown
5 lines
122 B
Markdown
$$f^{-1} : Y \to X$$
|
|
such that
|
|
$$ff^{-1} = I_{x} \; \land f^{-1}f = I_{y}$$
|
|
$$\exists f^{-1} \iff f \; \text{bijective}$$
|