diff options
| author | Cyril Cohen | 2020-09-27 13:35:39 +0200 |
|---|---|---|
| committer | Reynald Affeldt | 2020-10-12 09:31:22 +0900 |
| commit | f5840a92d26d4436582e05b60bcd6fcf2a2a18ff (patch) | |
| tree | 0a72d0bf1b65a8ca03462c65fc96776d78b686ad /mathcomp/algebra | |
| parent | 6f0f46fc2249023924f62d4400014a500474e1b0 (diff) | |
Fixing and documenting the change of meaning of `>=< y`
Diffstat (limited to 'mathcomp/algebra')
0 files changed, 0 insertions, 0 deletions