diff options
Diffstat (limited to 'theories/Sets/Powerset.v')
| -rw-r--r-- | theories/Sets/Powerset.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/theories/Sets/Powerset.v b/theories/Sets/Powerset.v index 8742d4c37..f8b24e747 100644 --- a/theories/Sets/Powerset.v +++ b/theories/Sets/Powerset.v @@ -185,4 +185,4 @@ Hint Resolve Union_increases_r: sets v62. Hint Resolve Intersection_decreases_l: sets v62. Hint Resolve Intersection_decreases_r: sets v62. Hint Resolve Empty_set_is_Bottom: sets v62. -Hint Resolve Strict_inclusion_is_transitive: sets v62.
\ No newline at end of file +Hint Resolve Strict_inclusion_is_transitive: sets v62. |