Skip to content

Commit

Permalink
Add missing export
Browse files Browse the repository at this point in the history
  • Loading branch information
Georges Gonthier committed Dec 4, 2015
1 parent 2d032b5 commit 8a5defa
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions mathcomp/algebra/ssralg.v
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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.
Expand Down

0 comments on commit 8a5defa

Please sign in to comment.