diff options
| author | Florent Hivert | 2019-11-04 15:50:27 +0100 |
|---|---|---|
| committer | Florent Hivert | 2019-11-04 15:50:27 +0100 |
| commit | d20f0750b11fc1b5ba83d9b40c04df6e9e30e69a (patch) | |
| tree | f1cf820b7e2fa1be1ed98d46c923bf1aa8538875 /mathcomp | |
| parent | 6ba0e77cd7f8d68647790fe2b704f35ae76ad1f8 (diff) | |
Fixed the documentation
Diffstat (limited to 'mathcomp')
| -rw-r--r-- | mathcomp/algebra/ssralg.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/mathcomp/algebra/ssralg.v b/mathcomp/algebra/ssralg.v index 4d32364..bb23b3f 100644 --- a/mathcomp/algebra/ssralg.v +++ b/mathcomp/algebra/ssralg.v @@ -369,7 +369,7 @@ From mathcomp Require Import choice fintype finfun bigop prime binomial. (* comUnitAlgType R == interface type for ComUnitAlgebra structure with *) (* scalars in R; R should have a comUnitRingType *) (* structure. *) -(* [comAlgType R of V] == a comAlgType R structure for V created by *) +(* [comUnitAlgType R of V] == a comUnitAlgType R structure for V created by *) (* merging canonical comAlgType and *) (* unitRingType on V. *) (* *) |