diff options
| author | Assia Mahboubi | 2016-10-05 11:24:55 +0200 |
|---|---|---|
| committer | Assia Mahboubi | 2016-10-05 11:30:02 +0200 |
| commit | b0c734bcd978459e323c42acbde6c4a6d0f8b566 (patch) | |
| tree | 8eaf78b17b2af65bc792aee8ed7d7d1f1d04ba08 /mathcomp/attic/tutorial.v | |
| parent | fa7635aa606c2e8a24e772bebe46786b1acb2539 (diff) | |
Generalization in the type of contra_eq/contra_neq.
Thanks B. Grégoire for this suggestion.
Diffstat (limited to 'mathcomp/attic/tutorial.v')
0 files changed, 0 insertions, 0 deletions