diff options
| author | Cyril Cohen | 2016-01-22 10:29:07 +0100 |
|---|---|---|
| committer | Cyril Cohen | 2016-01-22 13:13:46 +0100 |
| commit | 171472015bc6f3fd1ae6423f1da450f80331fc74 (patch) | |
| tree | e508b939ea15223e907a6fd2c095711b2eafe0ef /mathcomp/ssreflect/plugin | |
| parent | 481a2a3bb4902f02e816cfab162e9d88d7ce76b5 (diff) | |
generalizing odd_opp
Diffstat (limited to 'mathcomp/ssreflect/plugin')
0 files changed, 0 insertions, 0 deletions