Tengo un número entero entre semana (0,1,2 ...) y necesito obtener el nombre del día ('lunes', 'martes', ...).

¿Existe una función de Python integrada o una forma de hacerlo?

Aquí está la función que escribí, que funciona pero quería algo de la biblioteca de fecha y hora incorporada.

def dayNameFromWeekday(weekday):
    if weekday == 0:
        return "Monday"
    if weekday == 1:
        return "Tuesday"
    if weekday == 2:
        return "Wednesday"
    if weekday == 3:
        return "Thursday"
    if weekday == 4:
        return "Friday"
    if weekday == 5:
        return "Saturday"
    if weekday == 6:
        return "Sunday"