diff options
| author | Florent Hivert | 2016-05-12 15:34:51 +0200 |
|---|---|---|
| committer | Florent Hivert | 2016-05-12 15:34:51 +0200 |
| commit | 8c704cf7eaddd1858113e46ea00a79e094b102db (patch) | |
| tree | 155a1642e93f4b2956daa380616dc37e3c39448f /mathcomp/ssreflect | |
| parent | 0fedd37679abe2a9909ec03aebf01aab359a06fd (diff) | |
Fixes doc of mxrepresentation.v
Diffstat (limited to 'mathcomp/ssreflect')
0 files changed, 0 insertions, 0 deletions