diff options
| author | Cyril Cohen | 2020-03-16 17:55:50 +0100 |
|---|---|---|
| committer | Cyril Cohen | 2020-03-16 18:17:26 +0100 |
| commit | 9ff5576733fbb34f07142e17fa6835af1ab708de (patch) | |
| tree | cb58acf49c8ecedf233d45a339c54d5ba7f85513 /mathcomp/_CoqProject | |
| parent | d110ceca5f40a4aed136956ab9f2d2ac215d0c88 (diff) | |
Update mathcomp/ssreflect/path.v
Co-Authored-By: Kazuhiko Sakaguchi <pi8027@gmail.com>
Diffstat (limited to 'mathcomp/_CoqProject')
0 files changed, 0 insertions, 0 deletions