diff options
| author | Enrico Tassi | 2018-02-05 11:03:17 +0100 |
|---|---|---|
| committer | Enrico Tassi | 2018-02-05 11:04:41 +0100 |
| commit | fbb7b486e6dcd511142cbf173f01eccb4023e37c (patch) | |
| tree | d0148d635af78b8fb6d1058d490af1bae6714e0c /mathcomp/character/vcharacter.v | |
| parent | 64c6b07ff318b9eee032e929f0cd25b2e2ddaeda (diff) | |
tide up proof of card_inj_ffuns
Diffstat (limited to 'mathcomp/character/vcharacter.v')
0 files changed, 0 insertions, 0 deletions