diff options
| -rw-r--r-- | theories/Lists/SetoidList.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/theories/Lists/SetoidList.v b/theories/Lists/SetoidList.v index aed4a3bca0..f55043d370 100644 --- a/theories/Lists/SetoidList.v +++ b/theories/Lists/SetoidList.v @@ -646,7 +646,7 @@ Qed. End Restriction. -(** we know state similar results, but without restriction on transpose. *) +(** we now state similar results, but without restriction on transpose. *) Variable Tra :transpose f. |