diff options
Diffstat (limited to 'theories/Wellfounded/Inverse_Image.v')
-rw-r--r-- | theories/Wellfounded/Inverse_Image.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/theories/Wellfounded/Inverse_Image.v b/theories/Wellfounded/Inverse_Image.v index 94ca69538..df6a61198 100644 --- a/theories/Wellfounded/Inverse_Image.v +++ b/theories/Wellfounded/Inverse_Image.v @@ -12,7 +12,7 @@ Section Inverse_Image. - Variables A B : Set. + Variables A B : Type. Variable R : B -> B -> Prop. Variable f : A -> B. |