From bfd4b28b835e6918d7f4dea848c8b94f4c1c6f7f Mon Sep 17 00:00:00 2001
From: Antonio Nikishaev
Date: Wed, 8 Apr 2020 00:32:35 +0400
Subject: fix typos in documentation: formulae

---
 mathcomp/algebra/matrix.v | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'mathcomp/algebra')

diff --git a/mathcomp/algebra/matrix.v b/mathcomp/algebra/matrix.v
index dfdaf8b..f49473f 100644
--- a/mathcomp/algebra/matrix.v
+++ b/mathcomp/algebra/matrix.v
@@ -129,7 +129,7 @@ From mathcomp Require Import div prime binomial ssralg finalg zmodp countalg.
 (* - The Cramer rule : mul_mx_adj & mul_adj_mx.                               *)
 (* Finally, as an example of the use of block products, we program and prove  *)
 (* the correctness of a classical linear algebra algorithm:                   *)
-(*    cormenLUP A == the triangular decomposition (L, U, P) of a nontrivial   *)
+(*   cormen_lup A == the triangular decomposition (L, U, P) of a nontrivial   *)
 (*                   square matrix A into a lower triagular matrix L with 1s  *)
 (*                   on the main diagonal, an upper matrix U, and a           *)
 (*                   permutation matrix P, such that P * A = L * U.           *)
-- 
cgit v1.2.3