diff options
| author | Georges Gonthier | 2015-11-30 15:10:00 +0000 |
|---|---|---|
| committer | Georges Gonthier | 2015-12-04 15:07:14 +0000 |
| commit | 8a5defae11364964b6ca47a6da6ae887f7180855 (patch) | |
| tree | 66689837ffd21079a0e418ec3aa211ed36ba88fa /mathcomp | |
| parent | 2d032b5330adc7e7d7dcf0fb0daf593bffe280ec (diff) | |
Add missing export
Diffstat (limited to 'mathcomp')
| -rw-r--r-- | mathcomp/algebra/ssralg.v | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/mathcomp/algebra/ssralg.v b/mathcomp/algebra/ssralg.v index 3bbf850..7d4fdc0 100644 --- a/mathcomp/algebra/ssralg.v +++ b/mathcomp/algebra/ssralg.v @@ -3363,6 +3363,7 @@ Notation zmod_closed := zmod_closed. Notation smulr_closed := smulr_closed. Notation invr_closed := invr_closed. Notation divr_closed := divr_closed. +Notation scaler_closed := scaler_closed. Notation linear_closed := linear_closed. Notation submod_closed := submod_closed. Notation semiring_closed := semiring_closed. |