input: from typing import List
  
  def str_to_lower(strings: List[str]) -> List[str]:
      """ Convert a list of strings to their lowercase versions.
      >>> str_to_lower(["Hello", "WORLD", "Python"])
      ['hello', 'world', 'python']
      """
output:     return [s.lower() for s in strings]