diff options
| author | Pierre-Yves Strub | 2017-03-13 12:49:31 +0100 |
|---|---|---|
| committer | Pierre-Yves Strub | 2017-03-13 12:49:31 +0100 |
| commit | 8f62332b4b05eb796a72439d4b01b1f1ca8c44d7 (patch) | |
| tree | 2a935410f1836bb51fcb79dc77095b7f9ea38cd6 /mathcomp/attic/tutorial.v | |
| parent | c023d240b9eb4e203f442d474beb76745c4acfa0 (diff) | |
Reflection lemmas for `seq.uniq`
Diffstat (limited to 'mathcomp/attic/tutorial.v')
0 files changed, 0 insertions, 0 deletions