diff options
Diffstat (limited to 'theories')
| -rw-r--r-- | theories/Lists/List.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/theories/Lists/List.v b/theories/Lists/List.v index 84e1452716..ecadddbc8a 100644 --- a/theories/Lists/List.v +++ b/theories/Lists/List.v @@ -259,7 +259,7 @@ Section Facts. Qed. - (** Compatibility wtih other operations *) + (** Compatibility with other operations *) Lemma app_length : forall l l' : list A, length (l++l') = length l + length l'. Proof. |