We should mention that the notation T^-1 will yield an inverse of a linear transformation in Sage.
Also, the rank and nullity are what you might expect. Recall that for a matrix Sage provides a left nullity and a right nullity. There is no such distinction for linear transformations. We verify Theorem RPNDD as an example.