Typo in coqdoc.

f71d45e9 · David Swasey · 14acb6a5 · f71d45e9
Commit f71d45e9 authored 5 years ago by David Swasey
--- a/theories/algebra/sets.v
+++ b/theories/algebra/sets.v
@@ -403,7 +403,7 @@ Section set_disj.
    by apply set_disj_alloc_local_update.
  Qed.

-  (** * The [SetDisj_uninj] operation *)
+  (** The [SetDisj_uninj] operation *)
  Lemma SetDisj_uninj_op X Y :
    ✓ (X ⋅ Y) → SetDisj_uninj (X ⋅ Y) = SetDisj_uninj X ∪ SetDisj_uninj Y.
  Proof.