fix(category_theory/open_set): Restore the correct order on open_set

leanprover-community · Oct 12, 2018 · c3fa976 · c3fa976
1 parent 5c209ed
commit c3fa976
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/category_theory/examples/topological_spaces.lean b/category_theory/examples/topological_spaces.lean
@@ -39,7 +39,7 @@ instance : has_coe (open_set X) (set X.α) := { coe := λ U, U.s }
 instance : has_subset (open_set X) :=
 { subset := λ U V, U.s ⊆ V.s }
 
-instance : preorder (open_set X) := by refine { le := (⊇), .. } ; tidy
+instance : preorder (open_set X) := by refine { le := (⊆), .. } ; tidy
 
 instance open_sets : small_category (open_set X) := by apply_instance