diff options
| author | Kazuhiko Sakaguchi | 2020-11-20 11:46:43 +0900 |
|---|---|---|
| committer | Kazuhiko Sakaguchi | 2020-11-24 02:19:20 +0900 |
| commit | 7f0699b6a6fa8486c21b292ba2d8a8910c37dd6b (patch) | |
| tree | 340d59315de1aa859086e1a461272fb45a4f43c0 /mathcomp/Make | |
| parent | e6a25b8d4806cf968dbf6c33343ba1d1fb28ddf6 (diff) | |
Remove `Reserved Notation`s in `ssrnum.v` which are already declared in `order.v`
Diffstat (limited to 'mathcomp/Make')
0 files changed, 0 insertions, 0 deletions