Invertible linear map (source code)

= Invertible linear map

An invertible linear map is a linear bijection; its inverse is also linear.

Invertibility adds a <bijection> requirement to the definition of a <linear map>.