diff options
| author | Reynald Affeldt | 2020-02-18 07:23:31 +0900 |
|---|---|---|
| committer | Reynald Affeldt | 2020-03-15 16:35:02 +0900 |
| commit | 56af8ab9d2890182ba67bb33a9561633b134b50f (patch) | |
| tree | 446405e857339c6228860be50207c6ed478f9db4 /mathcomp/ssreflect/path.v | |
| parent | d2443948206ddf78706add540c27341da4abc906 (diff) | |
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