fix

math-comp · Dec 9, 2023 · 86d939e · 86d939e
1 parent fcd5d51
commit 86d939e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/classical/classical_sets.v b/classical/classical_sets.v
@@ -38,7 +38,7 @@ From mathcomp Require Import mathcomp_extra boolp.
 (* |------------------------------------:|----|-----------------------------| *)
 (* | set0                                | == | $\emptyset$                 | *)
 (* | [set: A]                            | == | the full set of elements    | *)
-(* |                                     | == | of type A                   | *)
+(* |                                     |    | of type A                   | *)
 (* | `` `\|` ``                          | == | $\cup$                      | *)
 (* | `` `&` ``                           | == | $\cap$                      | *)
 (* | `` `\` ``                           | == | set difference              | *)