diff options
| author | Assia Mahboubi | 2018-02-05 11:54:56 +0100 |
|---|---|---|
| committer | GitHub | 2018-02-05 11:54:56 +0100 |
| commit | 835467324db450c8fb8971e477cc4d82fa3e861b (patch) | |
| tree | d0148d635af78b8fb6d1058d490af1bae6714e0c /mathcomp/algebra/interval.v | |
| parent | 64c6b07ff318b9eee032e929f0cd25b2e2ddaeda (diff) | |
| parent | fbb7b486e6dcd511142cbf173f01eccb4023e37c (diff) | |
Merge pull request #176 from gares/fix/card_inj_ffuns
tide up proof of card_inj_ffuns
Diffstat (limited to 'mathcomp/algebra/interval.v')
0 files changed, 0 insertions, 0 deletions