Croissance d'une liste, et la liste vide

def est_croissante(L):
    for i in range(len(L) - 1):
        if L[i] > L[i+1]:
            return False
    return True

L'énoncé vérifié est un « pour tout » : $\forall i\in [[0,n-2]],L[i]\le L[i+1]$, où $n$ est la longueur de L. La fonction ne le vérifie pas directement : elle cherche un contre-exemple, c'est-à-dire un témoin de la négation $\exists i,L[i]>L[i+1]$. C'est exactement la règle de négation du $\forall$, devenue une boucle.

Sur la liste vide, elle renvoie True. La longueur vaut $0$, donc range(-1) est vide, aucun tour n'a lieu et l'on atteint return True.

Et c'est le bon choix : un énoncé universel portant sur un ensemble vide d'indices est vrai — il n'y a aucun couple à comparer, donc aucun qui puisse démentir. Ce n'est pas une convention arbitraire : elle rend le résultat cohérent (toute sous-liste d'une liste croissante reste croissante, y compris la vide) et évite un cas particulier dans tous les algorithmes qui appellent cette fonction.