diff options
| author | Cyril Cohen | 2020-01-09 21:39:24 -0500 |
|---|---|---|
| committer | Cyril Cohen | 2020-01-09 21:39:24 -0500 |
| commit | 941b90fd72a2c65218b063ce79de9b2a4bc5ae12 (patch) | |
| tree | ab3d3c05609addcc2956aecab03326eff5ed4854 /Dockerfile.make | |
| parent | 156e5141fc36cfca6100c9f2b3841e566ed06f11 (diff) | |
Renaming converse to dual in order.v
Indeed, the name converse and notation ^c were already taken in
https://github.com/math-comp/math-comp/blob/master/mathcomp/algebra/ssralg.v#L989-L990
We are renaming to dual.
Diffstat (limited to 'Dockerfile.make')
0 files changed, 0 insertions, 0 deletions