diff options
| author | Cyril Cohen | 2018-09-12 15:46:35 +0200 |
|---|---|---|
| committer | Cyril Cohen | 2018-10-26 01:50:52 +0200 |
| commit | a974272fbdb5d121a4ac3e47a716d7406f8571b9 (patch) | |
| tree | d0028c2803fcee3319ab253c5335f5a457b7fc54 /mathcomp/field | |
| parent | e7d908b345a7a40ae4dd25338d2bebde3bf19cff (diff) | |
removing multiple definitions of [tT]ag*
they are already defined in ssrfun
ChangeLog updated
Diffstat (limited to 'mathcomp/field')
0 files changed, 0 insertions, 0 deletions