diff options
| author | Cyril Cohen | 2021-03-15 02:16:09 +0000 |
|---|---|---|
| committer | Cyril Cohen | 2021-03-15 02:16:09 +0000 |
| commit | ffaa5544468f967f0bdad3a6cbd4e1ccb0e97bde (patch) | |
| tree | 8da2718735f01d4699ea9f2ba6227a29c31beef9 /mathcomp/character/mxrepresentation.v | |
| parent | 5bc1b23fff6bbffb0e0885f3e11481c5e8ee762b (diff) | |
changing vscoq version
Diffstat (limited to 'mathcomp/character/mxrepresentation.v')
0 files changed, 0 insertions, 0 deletions