input: 
  from typing import List
  
  
  def to_lower(string: str) -> str:
      """ Convert all characters of a given string to lowercase.
      >>> to_lower("HELLO")
      'hello'
      >>> to_lower("World123")
      'world123'
      """
      return string.lower()
  
output:     
      return string.lower()
  