Update src/elementary-number-theory/inequality-rational-numbers.lagda.md

Co-authored-by: Fredrik Bakke <[email protected]>
UniMath · Feb 27, 2024 · 37e2712 · 37e2712
1 parent 6ae121b
commit 37e2712
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/elementary-number-theory/inequality-rational-numbers.lagda.md b/src/elementary-number-theory/inequality-rational-numbers.lagda.md
@@ -95,7 +95,7 @@ antisymmetric-leq-ℚ x y H H' =
       ( fraction-ℚ y)
       ( H)
       ( H'))) ∙
-    ( in-fraction-fraction-ℚ y)
+  ( in-fraction-fraction-ℚ y)
 ```
 
 ### Strict inequality on rationals is asymmetric