Be more precise with conjunction

Co-authored-by: Kacper Korban <kacper.f.korban@gmail.com>
Co-authored-by: Dario Halilovic <dario.halilovic@epfl.ch>

Author: 3 people

dune-project

@@ -14,7 +14,7 @@
 
 (package
  (name strict-order-solver)
- (synopsis "Complete solver for strict orders (transitive and irreflexive relations) for Rocq")
+ (synopsis "Complete solver for strict orders (transitive+irreflexive relations) for Rocq")
  (depends
   (rocq-core (>= 9.1.0))
   (rocq-stdlib (>= 9.0.0))))

strict-order-solver.opam

@@ -1,7 +1,7 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
 synopsis:
-  "Complete solver for strict orders (transitive and irreflexive relations) for Rocq"
+  "Complete solver for strict orders (transitive+irreflexive relations) for Rocq"
 maintainer: ["Marcin Wojnarowski"]
 authors: ["Kacper Korban" "Dario Halilovic" "Marcin Wojnarowski"]
 license: "MIT"