Use ? to fetch the documentation of the chosen method. Up to some exceptions, the file containing the source code of this method will appear in the first lines: sage: P.inverse? Type: instancemethod ...