diff options
| author | Cyril Cohen | 2020-03-16 00:08:40 +0100 |
|---|---|---|
| committer | GitHub | 2020-03-16 00:08:40 +0100 |
| commit | 41a995ad5cb0c5c99e2629bae0699bdf13e73e22 (patch) | |
| tree | 446405e857339c6228860be50207c6ed478f9db4 /mathcomp/ssreflect/path.v | |
| parent | d2443948206ddf78706add540c27341da4abc906 (diff) | |
| parent | 56af8ab9d2890182ba67bb33a9561633b134b50f (diff) | |
Merge pull request #460 from affeldt-aist/spurious_lerr
just noticed a tentative use of a not yet existing lemma
Diffstat (limited to 'mathcomp/ssreflect/path.v')
0 files changed, 0 insertions, 0 deletions