Return a copy of the string with all the cased characters [4](https://docs.python.org/3/library/stdtypes.html#id15) converted to lowercase.The lowercasing algorithm used is described in section 3.13 of the Unicode Standard."