Update src/Data/Rational/Unnormalised/Properties.agda

jamesmckinna · web-flow · commit 02a80f49019e · 2025-03-10T15:08:49.000Z
cognate grouping
diff --git a/src/Data/Rational/Unnormalised/Properties.agda b/src/Data/Rational/Unnormalised/Properties.agda
@@ -16,8 +16,8 @@ open import Algebra.Structures
         ; IsCommutativeRing)
 open import Algebra.Bundles
 open import Algebra.Apartness
-  using (IsHeytingCommutativeRing; IsHeytingField; HeytingCommutativeRing
-        ; HeytingField)
+  using (IsHeytingCommutativeRing; IsHeytingField
+        ; HeytingCommutativeRing; HeytingField)
 open import Algebra.Lattice
   using (IsLattice; IsDistributiveLattice; IsSemilattice
         ; Semilattice; Lattice; DistributiveLattice; RawLattice)
